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

Parent Directory | Revision Log

---

Revision 286 - (view) (download)

1 :	blume	286	(*
2 :			* Environments used during dependency analysis.
3 :			*
4 :			* (C) 1999 Lucent Technologies, Bell Laboratories
5 :			*
6 :			* Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
7 :			*)
8 :			structure DAEnv = struct
9 :
10 :			datatype env =
11 :			EMPTY
12 :			| FCTENV of { looker: Symbol.symbol -> value option,
13 :			domain: unit -> SymbolSet.set }
14 :			| BINDING of Symbol.symbol * value
15 :			| LAYER of env * env
16 :			| FILTER of SymbolSet.set * env
17 :
18 :			withtype value = env
19 :			end

---

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