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 298, Thu May 27 09:42:28 1999 UTC
# Line 11  Line 11 
11      type benv      type benv
12      type envdelta      type envdelta
13    
     datatype lookstable_result =  
         FOUND of envdelta  
       | NOTFOUND of benv option  
   
14      val layer : env * env -> env      val layer : env * env -> env
15      val blayer : benv * benv -> benv      val blayer : benv * benv -> benv
16    
# Line 26  Line 22 
22    
23      val primitive : Primitive.configuration -> Primitive.primitive -> envdelta      val primitive : Primitive.configuration -> Primitive.primitive -> envdelta
24    
     val lookstable :  
         BinInfo.info * (unit -> benv option) * GeneralParams.params  
         -> lookstable_result  
25      val dostable:      val dostable:
26          BinInfo.info * benv * GeneralParams.params          BinInfo.info * (unit -> benv option) * GeneralParams.params
27          -> envdelta option          -> envdelta option
28    
     val looksml :  
         SmlInfo.info * env * GeneralParams.params  
         -> envdelta option  
29      val dosml :      val dosml :
30          SmlInfo.info * env * GeneralParams.params          SmlInfo.info * env * GeneralParams.params
31          -> envdelta option          -> envdelta option

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

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