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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 16 - (view) (download) (as text)
Original Path: sml/trunk/src/compiler/TopLevel/batch/batchutil.sig

1 : monnier 16 (* COPYRIGHT (c) 1997 Bell Labs, Lucent Technologies *)
2 :     (* batchutil.sig *)
3 :    
4 :     signature BATCHUTIL =
5 :     sig
6 :     exception FormatError
7 :     exception NoCodeBug
8 :    
9 :     type 'iid cunit
10 :     type pid = PersStamps.persstamp
11 :    
12 :     type senv = SCEnv.Env.staticEnv
13 :     type symenv = SCEnv.Env.symenv
14 :     type denv = SCEnv.Env.dynenv
15 :     type env = SCEnv.Env.environment
16 :    
17 :     type csegments = {c0: Word8Vector.vector,
18 :     cn: Word8Vector.vector list,
19 :     name: string option ref}
20 :    
21 :     val readUnit: { name: string,
22 :     stream: BinIO.instream,
23 :     pids2iid: pid list -> 'iid,
24 :     senv: senv,
25 :     keep_code: bool }
26 :     -> 'iid cunit
27 :     val writeUnit: { stream: BinIO.outstream,
28 :     cunit: 'iid cunit,
29 :     keep_code: bool,
30 :     iid2pids: 'iid -> pid list }
31 :     -> unit
32 :    
33 :     val staticPidCU: 'iid cunit -> pid
34 :     val lambdaPidCU: 'iid cunit -> pid
35 :     val senvCU: 'iid cunit -> senv
36 :     val symenvCU: 'iid cunit -> symenv
37 :     val envCU: 'iid cunit -> env option ref
38 :     val referencesCU: 'iid cunit -> 'iid
39 :     val nocodeCU: 'iid cunit -> bool
40 :     val exportCU: 'iid cunit -> pid option
41 :     val discardCode: 'iid cunit -> unit
42 :    
43 :     exception Compile of string
44 :     exception TopLevelException of exn
45 :     exception SilentException
46 :     val arch : string
47 :     val parse: Source.inputSource -> Ast.dec
48 :     val makePid: senv * senv -> pid
49 :     val makeUnit: { runtimePid: pid option,
50 :     splitting: bool,
51 :     references: 'iid,
52 :     ast: Ast.dec,
53 :     source: Source.inputSource,
54 :     senv: senv,
55 :     symenv: symenv,
56 :     corenv: EnvRef.staticEnv } -> 'iid cunit
57 :     val execUnit: 'iid cunit * denv -> env
58 :    
59 :     end (* signature BATCHUTIL *)

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