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

SCM Repository

[smlnj] Diff of /sml/trunk/src/cm/compile/compile-type.sig
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 294, Tue May 25 09:06:06 1999 UTC revision 295, Wed May 26 09:20:25 1999 UTC
# Line 1  Line 1 
1    (*
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  signature COMPILATION_TYPE = sig  signature COMPILATION_TYPE = sig
9    
10      type env      type env
11        type benv
12      type envdelta      type envdelta
13    
14        datatype lookstable_result =
15            FOUND of envdelta
16          | NOTFOUND of benv option
17    
18      val layer : env * env -> env      val layer : env * env -> env
19        val blayer : benv * benv -> benv
20    
21      val filter : envdelta * SymbolSet.set -> env      val filter : envdelta * SymbolSet.set -> env
22      val nofilter : envdelta -> env      val bfilter : envdelta * SymbolSet.set -> benv
23    
24      val pervasive : Primitive.configuration -> env      val nofilter : envdelta -> env
25        val bnofilter : envdelta -> benv
26    
27      val primitive : Primitive.configuration -> Primitive.primitive -> envdelta      val primitive : Primitive.configuration -> Primitive.primitive -> envdelta
28    
29      val lookstable : BinInfo.info -> envdelta option      val lookstable : BinInfo.info * (unit -> benv option) -> lookstable_result
30      val memostable : BinInfo.info * envdelta -> unit      val dostable: BinInfo.info * benv * GeneralParams.params -> envdelta option
31      val dostable : BinInfo.info * env * Primitive.configuration -> envdelta  
32        val looksml : SmlInfo.info * env -> envdelta option
33      val looksml : SmlInfo.info -> envdelta option      val dosml : SmlInfo.info * env * GeneralParams.params -> envdelta option
     val memosml : SmlInfo.info * envdelta -> unit  
     val dosml : SmlInfo.info * env * Primitive.configuration -> envdelta  
34  end  end

Legend:
Removed from v.294  
changed lines
  Added in v.295

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