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/batch/binfile.sig
ViewVC logotype

Diff of /sml/trunk/src/compiler/TopLevel/batch/binfile.sig

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

revision 586, Thu Mar 30 05:08:07 2000 UTC revision 587, Thu Mar 30 09:01:52 2000 UTC
# Line 12  Line 12 
12      type bfContent      type bfContent
13    
14      type pid = PersStamps.persstamp      type pid = PersStamps.persstamp
15      type senv = CMEnv.Env.staticEnv      type senv = StaticEnv.staticEnv
16      type symenv = CMEnv.Env.symenv      type symenv = SymbolicEnv.symenv
17      type denv = CMEnv.Env.dynenv      type denv = DynamicEnv.dynenv
18      type env = CMEnv.Env.environment      type env = Environment.environment
19    
20      val staticPidOf: bfContent -> pid      val staticPidOf: bfContent -> pid
21      val exportPidOf: bfContent -> pid option      val exportPidOf: bfContent -> pid option
22      val lambdaPidOf: bfContent -> pid      val lambdaPidOf: bfContent -> pid
23      val cmDataOf: bfContent -> pid list      val cmDataOf: bfContent -> pid list
24      val senvOf: bfContent -> { env: senv, ctxt: ModuleId.Set.set }      val senvOf: bfContent -> senv
25      val symenvOf: bfContent -> symenv      val symenvOf: bfContent -> symenv
26    
27      val size: { content: bfContent, nopickle: bool } -> int      val size: { content: bfContent, nopickle: bool } -> int
28    
29      val create: { runtimePid: pid option,      val create: { splitting: bool,
                   splitting: bool,  
30                    cmData: pid list,                    cmData: pid list,
31                    ast: Ast.dec,                    ast: Ast.dec,
32                    source: Source.inputSource,                    source: Source.inputSource,
# Line 37  Line 36 
36          -> bfContent          -> bfContent
37    
38      val read:      val read:
39          { name: string, stream: BinIO.instream, senv: senv } -> bfContent          { name: string, stream: BinIO.instream, senv: senv } ->
40            bfContent
41    
42      val write:      val write:
43          { stream: BinIO.outstream, content: bfContent, nopickle: bool } -> unit          { stream: BinIO.outstream, content: bfContent, nopickle: bool } -> unit

Legend:
Removed from v.586  
changed lines
  Added in v.587

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