Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/trunk/src/cm/depend/da-env.sml
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 286 - (download) (annotate)
Fri May 21 07:47:16 1999 UTC (21 years, 2 months ago) by blume
File size: 453 byte(s)
skeleton type simplified; improved conversion, etc.
(*
 * Environments used during dependency analysis.
 *
 * (C) 1999 Lucent Technologies, Bell Laboratories
 *
 * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
 *)
structure DAEnv = struct

    datatype env =
	EMPTY
      | FCTENV of { looker: Symbol.symbol -> value option,
		    domain: unit -> SymbolSet.set }
      | BINDING of Symbol.symbol * value
      | LAYER of env * env
      | FILTER of SymbolSet.set * env

    withtype value = env
end

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