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/trunk/src/cm/tools/main/core-tools.sig
ViewVC logotype

Diff of /sml/trunk/src/cm/tools/main/core-tools.sig

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

revision 1635, Tue Sep 28 17:12:31 2004 UTC revision 1636, Tue Sep 28 22:33:03 2004 UTC
# Line 70  Line 70 
70    
71      type splitting = int option option (* see ....Control.LambdaSplitting... *)      type splitting = int option option (* see ....Control.LambdaSplitting... *)
72    
73        (* A controller is a generic mechanism for manipulating state.
74         * The first stage of save'restore is meant to capture the part of
75         * the state in question so that the second stage can restore it.
76         * Function set, on the other hand, is meant to establish the
77         * new state.  All controllers associated with an SML source are
78         * invoked for both parsing and compilation.
79         * Roughly speaking, given a controller c, each of these two phases
80         * is bracketed as follows:
81         *
82         *   let val restore = #save'restore c ()
83         *   in #set c (); parse_or_compile () before restore () end
84         *)
85      type controller =      type controller =
86           { save'restore: unit -> unit -> unit,           { save'restore: unit -> unit -> unit,
87             set: unit -> unit }             set: unit -> unit }

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

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