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/SMLNJ/src/compiler/Semant/basics/env.sig
ViewVC logotype

Diff of /sml/branches/SMLNJ/src/compiler/Semant/basics/env.sig

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

revision 131, Mon Sep 7 19:39:22 1998 UTC revision 132, Mon Sep 7 19:48:36 1998 UTC
# Line 14  Line 14 
14    val look: 'b env * Symbol.symbol -> 'b    val look: 'b env * Symbol.symbol -> 'b
15    val bind: Symbol.symbol * 'b * 'b env -> 'b env    val bind: Symbol.symbol * 'b * 'b env -> 'b env
16    
17    val special: (Symbol.symbol -> '_b) * (unit -> Symbol.symbol list) -> '_b env    val special: (Symbol.symbol -> 'b) * (unit -> Symbol.symbol list) -> 'b env
18        (* Note: special(f,NONE) means Don't Memoize! *)        (* Note: special(f,NONE) means Don't Memoize! *)
19    
20    val atop: 'b env * 'b env -> 'b env    val atop: 'b env * 'b env -> 'b env
# Line 23  Line 23 
23    val consolidate: 'b env -> 'b env    val consolidate: 'b env -> 'b env
24    val consolidateLazy: 'b env -> 'b env    val consolidateLazy: 'b env -> 'b env
25    val app: (Symbol.symbol * 'b -> unit) -> 'b env -> unit    val app: (Symbol.symbol * 'b -> unit) -> 'b env -> unit
26    val map: ('1b -> '1b) -> '1b env -> '1b env    val map: ('b -> 'b) -> 'b env -> 'b env
27    val fold: ((Symbol.symbol * 'b) * 'a -> 'a) -> 'a -> 'b env -> 'a    val fold: ((Symbol.symbol * 'b) * 'a -> 'a) -> 'a -> 'b env -> 'a
28    
29    val symbols : 'b env -> Symbol.symbol list    val symbols : 'b env -> Symbol.symbol list

Legend:
Removed from v.131  
changed lines
  Added in v.132

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