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/branches/primop-branch/src/compiler/ElabData/basics/env.sig
ViewVC logotype

Diff of /sml/branches/primop-branch/src/compiler/ElabData/basics/env.sig

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

revision 1470, Mon Mar 29 22:45:55 2004 UTC revision 1471, Mon Mar 29 22:45:55 2004 UTC
# Line 5  Line 5 
5    
6    type 'b env    type 'b env
7    exception Unbound    exception Unbound
   exception SpecialEnv  
8    
9    val empty: 'b env    val empty: 'b env
10    val look: 'b env * Symbol.symbol -> 'b    val look: 'b env * Symbol.symbol -> 'b
11    val bind: Symbol.symbol * 'b * 'b env -> 'b env    val bind: Symbol.symbol * 'b * 'b env -> 'b env
12    
13    val special: (Symbol.symbol -> 'b) * (unit -> Symbol.symbol list) -> 'b env    val special: (Symbol.symbol -> 'b) * (unit -> Symbol.symbol list) -> 'b env
       (* Note: special(f,NONE) means Don't Memoize! *)  
14    
15    val atop: 'b env * 'b env -> 'b env    val atop: 'b env * 'b env -> 'b env
16        (* atop(e1,e2): place e1 on top of e2 *)        (* atop(e1,e2): place e1 on top of e2 *)

Legend:
Removed from v.1470  
changed lines
  Added in v.1471

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