Diff of /sml/trunk/src/smlnj-lib/Controls/registry.sml

Parent Directory | Revision Log | Patch

	revision 1628, Wed Sep 15 20:58:05 2004 UTC	revision 1629, Thu Sep 23 22:38:06 2004 UTC
#	Line 107	Line 107
107	datatype registry_tree = RTree of {	datatype registry_tree = RTree of {
108	path : string list,	path : string list,
109	help : string,	help : string,
110	ctls : string Controls.control list,	ctls : { ctl: string Controls.control, info: control_info } list,
111	subregs : registry_tree list	subregs : registry_tree list
112	}	}
113
#	Line 134	Line 134
134	RTree{	RTree{
135	path = List.rev path,	path = List.rev path,
136	help = help,	help = help,
137	ctls = List.map #ctl (case obs	ctls = case obs
138	of NONE => ControlSet.listControls ctls	of NONE => ControlSet.listControls ctls
139	| SOME obs => ControlSet.listControls' (ctls, obs)	| SOME obs =>
140	(* end case *)),	ControlSet.listControls' (ctls, obs)
141		(* end case *),
142	subregs = List.map getReg subregs	subregs = List.map getReg subregs
143	}	}
144	end	end

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.1628   changed lines   Added in v.1629

---

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0