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/semant/iinfo.sml
ViewVC logotype

View of /sml/trunk/src/cm/semant/iinfo.sml

Parent Directory Parent Directory | Revision Log Revision Log

Revision 1137 - (download) (annotate)
Tue Mar 12 22:28:55 2002 UTC (18 years, 7 months ago) by blume
File size: 515 byte(s)
implemented better, simpler PID allocation scheme;
binfile format has changed, version number is 110.39.2; NEW BOOTFILES
 * 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,
		  guid: string }

ViewVC Help
Powered by ViewVC 1.0.0