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

Parent Directory | Revision Log

---

Revision 461 - (view) (download)

1 :	blume	398	(*
2 :			* Information kept at the boundary between snodes and bnodes in the
3 :			* dependency graph. (This is information about a library "interface",
4 :			* hence "iinfo" = "interface information".)
5 :			*
6 :			* (C) 1999 Lucent Technologies, Bell Laboratories
7 :			*
8 :			* Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
9 :			*)
10 :			structure IInfo = struct
11 :			type info =
12 :	blume	461	{ statenv: unit -> { env: GenericVC.Environment.staticEnv,
13 :			ctxt: GenericVC.ModuleId.Set.set },
14 :	blume	398	symenv: unit -> GenericVC.Environment.symenv,
15 :			statpid: GenericVC.PersStamps.persstamp,
16 :			sympid: GenericVC.PersStamps.persstamp }
17 :			end

---

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