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 879, Thu Jul 19 18:59:38 2001 UTC revision 905, Thu Aug 23 21:53:02 2001 UTC
# Line 22  Line 22 
22          { split: splitrequest,          { split: splitrequest,
23            is_rts: bool,            is_rts: bool,
24            explicit_core_sym: Symbol.symbol option,            explicit_core_sym: Symbol.symbol option,
25            extra_compenv: Environment.staticEnv option }            extra_compenv: StaticEnv.staticEnv option }
26    
27      type info_args =      type info_args =
28          { sourcepath: SrcPath.file,          { sourcepath: SrcPath.file,
# Line 108  Line 108 
108      type attribs = { split: splitrequest,      type attribs = { split: splitrequest,
109                       is_rts: bool,                       is_rts: bool,
110                       explicit_core_sym: Symbol.symbol option,                       explicit_core_sym: Symbol.symbol option,
111                       extra_compenv: Environment.staticEnv option }                       extra_compenv: StaticEnv.staticEnv option }
112    
113      type info_args = { sourcepath: SrcPath.file,      type info_args = { sourcepath: SrcPath.file,
114                         group: SrcPath.file * region,                         group: SrcPath.file * region,

Legend:
Removed from v.879  
changed lines
  Added in v.905

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