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/compiler/TopLevel/main/compile.sig
ViewVC logotype

Diff of /sml/trunk/src/compiler/TopLevel/main/compile.sig

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

revision 1136, Tue Mar 12 19:44:02 2002 UTC revision 1137, Tue Mar 12 22:28:55 2002 UTC
# Line 11  Line 11 
11      type pickle                         (* pickled format *)      type pickle                         (* pickled format *)
12      type hash                           (* environment hash id *)      type hash                           (* environment hash id *)
13      type pid = PersStamps.persstamp      type pid = PersStamps.persstamp
14        type guid
15    
16      val mkCompInfo :      val mkCompInfo :
17          { source: Source.inputSource, transform: Absyn.dec -> Absyn.dec }          { source: Source.inputSource, transform: Absyn.dec -> Absyn.dec }
# Line 21  Line 22 
22      val elaborate : { ast: Ast.dec,      val elaborate : { ast: Ast.dec,
23                        statenv: StaticEnv.staticEnv,                        statenv: StaticEnv.staticEnv,
24                        compInfo: Absyn.dec CompInfo.compInfo,                        compInfo: Absyn.dec CompInfo.compInfo,
25                        uniquepid: hash -> hash * string }                        guid: guid }
26                      -> { absyn: Absyn.dec,                      -> { absyn: Absyn.dec,
27                           newstatenv: StaticEnv.staticEnv,                           newstatenv: StaticEnv.staticEnv,
28                           exportLvars: Access.lvar list,                           exportLvars: Access.lvar list,
29                           exportPid: pid option,                           exportPid: pid option,
30                           staticPid: hash,                           staticPid: hash,
                          fingerprint: hash,  
                          pepper: string,  
31                           pickle: pickle }                           pickle: pickle }
32    
33      (** elaborate as above, then keep on to compile into the binary code *)      (** elaborate as above, then keep on to compile into the binary code *)
# Line 37  Line 36 
36                      statenv: StaticEnv.staticEnv,                      statenv: StaticEnv.staticEnv,
37                      symenv: SymbolicEnv.env,                      symenv: SymbolicEnv.env,
38                      compInfo: Absyn.dec CompInfo.compInfo,                      compInfo: Absyn.dec CompInfo.compInfo,
39                      uniquepid: hash -> hash * string,                      guid: guid,
40                      checkErr: string -> unit,                      checkErr: string -> unit,
41                      splitting: int option}                      splitting: int option}
42                    -> { csegments: CodeObj.csegments,                    -> { csegments: CodeObj.csegments,
# Line 46  Line 45 
45                         exportPid: pid option,                         exportPid: pid option,
46                         exportLvars: Access.lvar list,                         exportLvars: Access.lvar list,
47                         staticPid: hash,                         staticPid: hash,
                        fingerprint: hash,  
                        pepper: string,  
48                         pickle: pickle,                         pickle: pickle,
49                         inlineExp: FLINT.prog option,                         inlineExp: FLINT.prog option,
50                         imports: ImportTree.import list }                         imports: ImportTree.import list }
# Line 56  Line 53 
53    
54  signature COMPILE = COMPILE0 where type pickle = Word8Vector.vector  signature COMPILE = COMPILE0 where type pickle = Word8Vector.vector
55                                 and type hash = PersStamps.persstamp                                 and type hash = PersStamps.persstamp
56                                   and type guid = string
57    
58  signature TOP_COMPILE = COMPILE0 where type hash = unit  signature TOP_COMPILE = COMPILE0 where type hash = unit and type guid = unit

Legend:
Removed from v.1136  
changed lines
  Added in v.1137

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