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/trunk/src/compiler/TopLevel/batch/batchutil.sig
ViewVC logotype

Annotation of /sml/trunk/src/compiler/TopLevel/batch/batchutil.sig

Parent Directory Parent Directory | Revision Log Revision Log


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

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 : monnier 93 type senv = CMEnv.Env.staticEnv
13 :     type symenv = CMEnv.Env.symenv
14 :     type denv = CMEnv.Env.dynenv
15 :     type env = CMEnv.Env.environment
16 : monnier 16
17 : monnier 100 type csegments = CompBasic.csegments
18 : monnier 16
19 :     val readUnit: { name: string,
20 :     stream: BinIO.instream,
21 :     pids2iid: pid list -> 'iid,
22 :     senv: senv,
23 :     keep_code: bool }
24 :     -> 'iid cunit
25 :     val writeUnit: { stream: BinIO.outstream,
26 :     cunit: 'iid cunit,
27 :     keep_code: bool,
28 :     iid2pids: 'iid -> pid list }
29 :     -> unit
30 :    
31 :     val staticPidCU: 'iid cunit -> pid
32 :     val lambdaPidCU: 'iid cunit -> pid
33 :     val senvCU: 'iid cunit -> senv
34 :     val symenvCU: 'iid cunit -> symenv
35 :     val envCU: 'iid cunit -> env option ref
36 :     val referencesCU: 'iid cunit -> 'iid
37 :     val nocodeCU: 'iid cunit -> bool
38 :     val exportCU: 'iid cunit -> pid option
39 :     val discardCode: 'iid cunit -> unit
40 :    
41 :     exception Compile of string
42 :     exception TopLevelException of exn
43 :     exception SilentException
44 :     val arch : string
45 :     val parse: Source.inputSource -> Ast.dec
46 :     val makePid: senv * senv -> pid
47 :     val makeUnit: { runtimePid: pid option,
48 :     splitting: bool,
49 :     references: 'iid,
50 :     ast: Ast.dec,
51 :     source: Source.inputSource,
52 :     senv: senv,
53 :     symenv: symenv,
54 :     corenv: EnvRef.staticEnv } -> 'iid cunit
55 :     val execUnit: 'iid cunit * denv -> env
56 :    
57 :     end (* signature BATCHUTIL *)
58 : monnier 93
59 :     (*
60 :     * $Log: batchutil.sig,v $
61 :     * Revision 1.1.1.1 1998/04/08 18:39:15 george
62 :     * Version 110.5
63 :     *
64 :     *)

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