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/cm/compile/compile-type.sig
ViewVC logotype

Annotation of /sml/trunk/src/cm/compile/compile-type.sig

Parent Directory Parent Directory | Revision Log Revision Log


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

1 : blume 295 (*
2 :     * Argument signature for the "generic" compilation traversal functor.
3 :     *
4 :     * (C) 1999 Lucent Technologies, Bell Laboratories
5 :     *
6 :     * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
7 :     *)
8 : blume 294 signature COMPILATION_TYPE = sig
9 :    
10 :     type env
11 : blume 295 type benv
12 : blume 294 type envdelta
13 : blume 314 type result
14 : blume 294
15 : blume 314 val empty : result
16 :     val env2result : env -> result
17 :    
18 : blume 294 val layer : env * env -> env
19 : blume 295 val blayer : benv * benv -> benv
20 : blume 314 val rlayer : result * result -> result
21 : blume 295
22 : blume 294 val filter : envdelta * SymbolSet.set -> env
23 : blume 295 val bfilter : envdelta * SymbolSet.set -> benv
24 :    
25 : blume 294 val nofilter : envdelta -> env
26 : blume 295 val bnofilter : envdelta -> benv
27 : blume 294
28 : blume 299 val primitive : GeneralParams.info -> Primitive.primitive -> envdelta
29 :     val bpervasive : GeneralParams.info -> benv
30 :     val pervasive : GeneralParams.info -> env
31 : blume 294
32 : blume 298 val dostable:
33 : blume 369 BinInfo.info * (unit -> benv option) * GeneralParams.info *
34 :     DependencyGraph.bnode
35 : blume 297 -> envdelta option
36 : blume 294
37 : blume 369 val dosml :
38 :     SmlInfo.info * env * GeneralParams.info * DependencyGraph.snode
39 :     -> envdelta option
40 : blume 361
41 : blume 369 val nestedTraversalReset : unit -> unit
42 :    
43 : blume 361 val reset : unit -> unit
44 : blume 294 end

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