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

Diff of /sml/branches/blume-private-devel/src/cm/tools/main/core-tools.sig

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 70  Line 70 
70    
71      type splitting = int option option (* see ....Control.LambdaSplitting... *)      type splitting = int option option (* see ....Control.LambdaSplitting... *)
72    
73        type controller =
74             { save'restore: unit -> unit -> unit,
75               set: unit -> unit }
76    
77      type smlparams =      type smlparams =
78           { share: Sharing.request,           { share: Sharing.request,
79             setup: setup,             setup: setup,
80             split: splitting,             split: splitting,
81             noguid: bool,             noguid: bool,
82             locl: bool }             locl: bool,
83               controllers: controller list }
84    
85      type cmparams =      type cmparams =
86           { version: Version.t option,           { version: Version.t option,

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