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 651 - (download) (annotate)
Thu Jun 1 18:34:03 2000 UTC (20 years, 5 months ago) by monnier
File size: 540 byte(s)
bring revisions from the vendor branch to the trunk
(*
 * 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 -> GenericVC.Environment.staticEnv,
	  symenv: unit -> GenericVC.Environment.symenv,
	  statpid: GenericVC.PersStamps.persstamp,
	  sympid: GenericVC.PersStamps.persstamp }
end

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