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 1631, Fri Sep 24 21:21:31 2004 UTC revision 1632, Mon Sep 27 22:18:07 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.1631  
changed lines
  Added in v.1632

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