Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/branches/SMLNJ/src/compiler/TopLevel/batch/binfile.sig
ViewVC logotype

Annotation of /sml/branches/SMLNJ/src/compiler/TopLevel/batch/binfile.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 167 - (view) (download) (as text)

1 : monnier 104 (* COPYRIGHT (c) 1997 Bell Labs, Lucent Technologies *)
2 :     (* binfile.sig *)
3 :    
4 :     signature BINFILE = sig
5 :    
6 :     exception FormatError
7 :     exception NoCodeBug
8 :     exception NoPickleBug
9 :    
10 :     exception Compile of string
11 :     exception TopLevelException of exn
12 :     exception SilentException
13 :    
14 :     type bfContent
15 :    
16 :     type pid = PersStamps.persstamp
17 :     type senv = CMEnv.Env.staticEnv
18 :     type symenv = CMEnv.Env.symenv
19 :     type denv = CMEnv.Env.dynenv
20 :     type env = CMEnv.Env.environment
21 :    
22 :     val staticPidOf: bfContent -> pid
23 :     val exportPidOf: bfContent -> pid option
24 :     val lambdaPidOf: bfContent -> pid
25 :     val cmDataOf: bfContent -> pid list
26 :     val senvOf: bfContent -> senv
27 :     val symenvOf: bfContent -> symenv
28 :    
29 :     val discardCode: bfContent -> unit
30 :     val noCode: bfContent -> bool
31 :    
32 :     val create: { runtimePid: pid option,
33 :     splitting: bool,
34 :     cmData: pid list,
35 :     ast: Ast.dec,
36 :     source: Source.inputSource,
37 :     senv: senv,
38 :     symenv: symenv,
39 :     corenv: EnvRef.staticEnv }
40 :     -> bfContent
41 :    
42 :     val read: { name: string,
43 :     stream: BinIO.instream,
44 :     senv: senv,
45 :     keep_code: bool }
46 :     -> bfContent
47 :    
48 :     val write: { stream: BinIO.outstream,
49 :     content: bfContent,
50 :     keep_code: bool }
51 :     -> unit
52 :    
53 :     val exec: bfContent * denv -> env
54 :    
55 :     val parse: Source.inputSource -> Ast.dec
56 :     end (* signature BINFILE *)
57 :    
58 :     (*
59 : monnier 167 * $Log: binfile.sig,v $
60 :     * Revision 1.2 1998/05/23 14:10:20 george
61 :     * Fixed RCS keyword syntax
62 :     *
63 : monnier 104 *)

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