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/releases/release-110.37/src/cm/semant/iinfo.sml
ViewVC logotype

View of /sml/releases/release-110.37/src/cm/semant/iinfo.sml

Parent Directory Parent Directory | Revision Log Revision Log

Revision 994 - (download) (annotate)
Fri Nov 23 02:37:10 2001 UTC (19 years, 10 months ago)
File size: 497 byte(s)
This commit was manufactured by cvs2svn to create tag
 * Information kept at the boundary between snodes and bnodes in the
 * dependency graph.  (This is information about a library "interface",
 * hence "iinfo" = "interface information".)
 * (C) 1999 Lucent Technologies, Bell Laboratories
 * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
structure IInfo = struct
    type info = { statenv: unit -> StaticEnv.staticEnv,
		  symenv: unit -> SymbolicEnv.env,
		  statpid: PersStamps.persstamp,
		  sympid: PersStamps.persstamp }

ViewVC Help
Powered by ViewVC 1.0.0