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

Parent Directory | Revision Log | Patch

	revision 307, Tue Jun 1 09:38:28 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

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

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

---

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