SCM Repository
Annotation of /sml/trunk/src/cm/semant/iinfo.sml
Parent Directory
|
Revision Log
Revision 905 - (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 : | blume | 905 | type info = { statenv: unit -> StaticEnv.staticEnv, |
12 : | symenv: unit -> SymbolicEnv.env, | ||
13 : | blume | 879 | statpid: PersStamps.persstamp, |
14 : | sympid: PersStamps.persstamp } | ||
15 : | blume | 398 | end |
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |