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 1057, Fri Feb 8 17:31:02 2002 UTC revision 1058, Fri Feb 8 20:02:56 2002 UTC
# Line 10  Line 10 
10    
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
14    
15      val mkCompInfo :      val mkCompInfo :
16          { source: Source.inputSource, transform: Absyn.dec -> Absyn.dec }          { source: Source.inputSource, transform: Absyn.dec -> Absyn.dec }
# Line 19  Line 20 
20       ** then output the new env, absyn and pickles *)       ** then output the new env, absyn and pickles *)
21      val elaborate : { ast: Ast.dec,      val elaborate : { ast: Ast.dec,
22                        statenv: StaticEnv.staticEnv,                        statenv: StaticEnv.staticEnv,
23                        compInfo: Absyn.dec CompInfo.compInfo }                        compInfo: Absyn.dec CompInfo.compInfo,
24                          uniquepid: hash -> hash * string }
25                      -> { absyn: Absyn.dec,                      -> { absyn: Absyn.dec,
26                           newstatenv: StaticEnv.staticEnv,                           newstatenv: StaticEnv.staticEnv,
27                           exportLvars: Access.lvar list,                           exportLvars: Access.lvar list,
28                           exportPid: PersStamps.persstamp option,                           exportPid: pid option,
29                           staticPid: hash,                           staticPid: hash,
30                             fingerprint: hash,
31                             pepper: string,
32                           pickle: pickle }                           pickle: pickle }
33    
34      (** 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 33  Line 37 
37                      statenv: StaticEnv.staticEnv,                      statenv: StaticEnv.staticEnv,
38                      symenv: SymbolicEnv.env,                      symenv: SymbolicEnv.env,
39                      compInfo: Absyn.dec CompInfo.compInfo,                      compInfo: Absyn.dec CompInfo.compInfo,
40                        uniquepid: hash -> hash * string,
41                      checkErr: string -> unit,                      checkErr: string -> unit,
42                      splitting: int option}                      splitting: int option}
43                    -> { csegments: CodeObj.csegments,                    -> { csegments: CodeObj.csegments,
44                         newstatenv: StaticEnv.staticEnv,                         newstatenv: StaticEnv.staticEnv,
45                         absyn: Absyn.dec (* for pretty printing only *),                         absyn: Absyn.dec (* for pretty printing only *),
46                         exportPid: PersStamps.persstamp option,                         exportPid: pid option,
47                         exportLvars: Access.lvar list,                         exportLvars: Access.lvar list,
48                         staticPid: hash,                         staticPid: hash,
49                           fingerprint: hash,
50                           pepper: string,
51                         pickle: pickle,                         pickle: pickle,
52                         inlineExp: FLINT.prog option,                         inlineExp: FLINT.prog option,
53                         imports: ImportTree.import list }                         imports: ImportTree.import list }
# Line 50  Line 57 
57  signature COMPILE = COMPILE0 where type pickle = Word8Vector.vector  signature COMPILE = COMPILE0 where type pickle = Word8Vector.vector
58                                 and type hash = PersStamps.persstamp                                 and type hash = PersStamps.persstamp
59    
60  signature TOP_COMPILE = COMPILE0  signature TOP_COMPILE = COMPILE0 where type hash = unit

Legend:
Removed from v.1057  
changed lines
  Added in v.1058

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