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 297, Thu May 27 08:29:19 1999 UTC revision 314, Fri Jun 4 06:41:45 1999 UTC
# Line 10  Line 10 
10      type env      type env
11      type benv      type benv
12      type envdelta      type envdelta
13        type result
14    
15      datatype lookstable_result =      val empty : result
16          FOUND of envdelta      val env2result : env -> result
       | NOTFOUND of benv option  
17    
18      val layer : env * env -> env      val layer : env * env -> env
19      val blayer : benv * benv -> benv      val blayer : benv * benv -> benv
20        val rlayer : result * result -> result
21    
22      val filter : envdelta * SymbolSet.set -> env      val filter : envdelta * SymbolSet.set -> env
23      val bfilter : envdelta * SymbolSet.set -> benv      val bfilter : envdelta * SymbolSet.set -> benv
# Line 24  Line 25 
25      val nofilter : envdelta -> env      val nofilter : envdelta -> env
26      val bnofilter : envdelta -> benv      val bnofilter : envdelta -> benv
27    
28      val primitive : Primitive.configuration -> Primitive.primitive -> envdelta      val primitive : GeneralParams.info -> Primitive.primitive -> envdelta
29        val bpervasive : GeneralParams.info -> benv
30        val pervasive : GeneralParams.info -> env
31    
     val lookstable :  
         BinInfo.info * (unit -> benv option) * GeneralParams.params  
         -> lookstable_result  
32      val dostable:      val dostable:
33          BinInfo.info * benv * GeneralParams.params          BinInfo.info * (unit -> benv option) * GeneralParams.info
34          -> envdelta option          -> envdelta option
35    
36      val looksml :      val dosml : SmlInfo.info * env * GeneralParams.info -> envdelta option
         SmlInfo.info * env * GeneralParams.params  
         -> envdelta option  
     val dosml :  
         SmlInfo.info * env * GeneralParams.params  
         -> envdelta option  
37  end  end

Legend:
Removed from v.297  
changed lines
  Added in v.314

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