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 1058 - (download) (annotate)
Fri Feb 8 20:02:56 2002 UTC (17 years, 7 months ago) by blume
File size: 517 byte(s)
110.38.1; new bootfiles; new PID generation scheme; installer improvements
(*
 * 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,
		  pepper: string }
end

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