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 756, Thu Dec 14 16:01:33 2000 UTC revision 818, Fri May 4 20:58:47 2001 UTC
# Line 68  Line 68 
68    
69      type setup = string option * string option (* (pre, post) *)      type setup = string option * string option (* (pre, post) *)
70    
71        type splitting = int option option (* see ....Control.LambdaSplitting... *)
72    
73      (* The goal of applying tools to members is to obtain an "expansion",      (* The goal of applying tools to members is to obtain an "expansion",
74       * i.e., a list of ML-files and a list of .cm-files.  We also       * i.e., a list of ML-files and a list of .cm-files.  We also
75       * obtain a list of "sources".  This is used to implement CM.sources,       * obtain a list of "sources".  This is used to implement CM.sources,
76       * i.e., to generate dependency information etc. *)       * i.e., to generate dependency information etc. *)
77      type expansion =      type expansion =
78           { smlfiles: (srcpath * Sharing.request * setup) list,           { smlfiles: (srcpath * Sharing.request * setup * splitting) list,
79             cmfiles: (srcpath * Version.t option * rebindings) list,             cmfiles: (srcpath * Version.t option * rebindings) list,
80             sources: (srcpath * { class: class, derived: bool}) list }             sources: (srcpath * { class: class, derived: bool}) list }
81    

Legend:
Removed from v.756  
changed lines
  Added in v.818

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