Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/branches/blume-private-devel/src/smlnj-lib/Controls/registry.sml
ViewVC logotype

Diff of /sml/branches/blume-private-devel/src/smlnj-lib/Controls/registry.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1634, Tue Sep 28 15:53:10 2004 UTC revision 1635, Tue Sep 28 17:12:31 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

Legend:
Removed from v.1634  
changed lines
  Added in v.1635

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