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

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

Parent Directory Parent Directory | Revision Log Revision Log


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

1 : monnier 16 (* COPYRIGHT (c) 1997 Bell Labs, Lucent Technologies *)
2 :     (* cmsa.sig *)
3 :    
4 :     signature CMSA = sig
5 :    
6 :     type env (* environments *)
7 :     type sym (* symbols *)
8 :    
9 :     (* build symbols from strings *)
10 :     val STR: string -> sym (* structure *)
11 :     val SIG: string -> sym (* signature *)
12 :     val FCT: string -> sym (* functor *)
13 :     val FSIG: string -> sym (* funsig *)
14 :    
15 :     val pervenv: unit -> env (* fetch pervasive environment *)
16 :     val register: env -> unit (* register delta with toplevel env. *)
17 :    
18 :     (* layer environments, head of list goes on top *)
19 :     val layer: env list -> env
20 :    
21 :     (* filter environment by list of symbols *)
22 :     val filter: sym list -> env -> env
23 :    
24 :     (* load or compile (1st arg), then execute *)
25 :     val run: string * env -> env
26 :    
27 :     end (* signature CMSA *)
28 :    

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