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/depend/da-env.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/depend/da-env.sml

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

revision 286, Fri May 21 07:47:16 1999 UTC revision 308, Wed Jun 2 01:26:19 1999 UTC
# Line 9  Line 9 
9    
10      datatype env =      datatype env =
11          EMPTY          EMPTY
12        | FCTENV of { looker: Symbol.symbol -> value option,        | FCTENV of Symbol.symbol -> value option
                     domain: unit -> SymbolSet.set }  
13        | BINDING of Symbol.symbol * value        | BINDING of Symbol.symbol * value
14        | LAYER of env * env        | LAYER of env * env
15        | FILTER of SymbolSet.set * env        | FILTER of SymbolSet.set * env

Legend:
Removed from v.286  
changed lines
  Added in v.308

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