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/smlfile/smlinfo.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/smlfile/smlinfo.sml

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

revision 591, Mon Apr 3 01:19:20 2000 UTC revision 592, Mon Apr 3 07:04:12 2000 UTC
# Line 18  Line 18 
18      type source = GenericVC.Source.inputSource      type source = GenericVC.Source.inputSource
19    
20      type attribs =      type attribs =
21          { split: bool, is_rts: bool,          { split: bool,
22              is_rts: bool,
23              explicit_core_sym: Symbol.symbol option,
24            extra_compenv: GenericVC.Environment.staticEnv option }            extra_compenv: GenericVC.Environment.staticEnv option }
25    
26      val eq : info * info -> bool        (* compares sourcepaths *)      val eq : info * info -> bool        (* compares sourcepaths *)
# Line 105  Line 107 
107      type complainer = EM.complainer      type complainer = EM.complainer
108    
109      type attribs =      type attribs =
110          { split: bool, is_rts: bool,          { split: bool,
111              is_rts: bool,
112              explicit_core_sym: Symbol.symbol option,
113            extra_compenv: GenericVC.Environment.staticEnv option }            extra_compenv: GenericVC.Environment.staticEnv option }
114    
115      type generation = unit ref      type generation = unit ref
# Line 248  Line 252 
252                 attribs = attribs }                 attribs = attribs }
253      end      end
254    
255      val info = info' { split = true, extra_compenv = NONE, is_rts = false }      val info = info' { split = true, extra_compenv = NONE,
256                           is_rts = false, explicit_core_sym = NONE }
257    
258      (* the following functions are only concerned with getting the data,      (* the following functions are only concerned with getting the data,
259       * not with checking time stamps *)       * not with checking time stamps *)

Legend:
Removed from v.591  
changed lines
  Added in v.592

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