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 878, Wed Jul 18 17:43:27 2001 UTC revision 879, Thu Jul 19 18:59:38 2001 UTC
# Line 12  Line 12 
12      type info      type info
13      type ord_key = info      type ord_key = info
14    
15      type complainer = GenericVC.ErrorMsg.complainer      type complainer = ErrorMsg.complainer
16      type ast = GenericVC.Ast.dec      type ast = Ast.dec
17      type region = GenericVC.SourceMap.region      type region = SourceMap.region
18      type source = GenericVC.Source.inputSource      type source = Source.inputSource
19      type splitrequest = GenericVC.Control.LambdaSplitting.localsetting      type splitrequest = Control.LambdaSplitting.localsetting
20    
21      type attribs =      type attribs =
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: GenericVC.Environment.staticEnv option }            extra_compenv: Environment.staticEnv option }
26    
27      type info_args =      type info_args =
28          { sourcepath: SrcPath.file,          { sourcepath: SrcPath.file,
# Line 93  Line 93 
93    
94  structure SmlInfo :> SMLINFO = struct  structure SmlInfo :> SMLINFO = struct
95    
96      structure Source = GenericVC.Source      structure Source = Source
97      structure SF = GenericVC.SmlFile      structure SF = SmlFile
98      structure EM = GenericVC.ErrorMsg      structure EM = ErrorMsg
99      structure FNP = FilenamePolicy      structure FNP = FilenamePolicy
100    
101      type source = Source.inputSource      type source = Source.inputSource
102      type ast = GenericVC.Ast.dec      type ast = Ast.dec
103      type region = GenericVC.SourceMap.region      type region = SourceMap.region
104      type splitrequest = GenericVC.Control.LambdaSplitting.localsetting      type splitrequest = Control.LambdaSplitting.localsetting
105    
106      type complainer = EM.complainer      type complainer = EM.complainer
107    
108      type attribs =      type attribs = { split: splitrequest,
         { 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: GenericVC.Environment.staticEnv option }                       extra_compenv: Environment.staticEnv option }
112    
113      type info_args =      type info_args = { sourcepath: SrcPath.file,
         { sourcepath: SrcPath.file,  
114            group: SrcPath.file * region,            group: SrcPath.file * region,
115            sh_spec: Sharing.request,            sh_spec: Sharing.request,
116            setup: string option * string option }            setup: string option * string option }
# Line 334  Line 332 
332                  else ();                  else ();
333                  pto                  pto
334              end handle exn as IO.Io _ => (err (General.exnMessage exn); NONE)              end handle exn as IO.Io _ => (err (General.exnMessage exn); NONE)
335                       | SF.Compile msg => (err msg; NONE)                       | CompileExn.Compile msg => (err msg; NONE)
336      end      end
337    
338      fun getSkeleton gp (i as INFO ir, noerrors) = let      fun getSkeleton gp (i as INFO ir, noerrors) = let

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

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