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 651 - (download) (annotate)
Thu Jun 1 18:34:03 2000 UTC (19 years, 3 months ago) by monnier
File size: 404 byte(s)
bring revisions from the vendor branch to the trunk
(*
 * 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 Symbol.symbol -> value option
      | 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