SCM Repository
Diff of /sml/trunk/src/cm/semant/iinfo.sml
Parent Directory
|
Revision Log
|
Patch
revision 398, Wed Aug 25 15:36:43 1999 UTC | revision 461, Thu Nov 4 08:06:56 1999 UTC | |
---|---|---|
# | Line 9 | Line 9 |
9 | *) | *) |
10 | structure IInfo = struct | structure IInfo = struct |
11 | type info = | type info = |
12 | { statenv: unit -> GenericVC.Environment.staticEnv, | { statenv: unit -> { env: GenericVC.Environment.staticEnv, |
13 | ctxt: GenericVC.ModuleId.Set.set }, | |
14 | symenv: unit -> GenericVC.Environment.symenv, | symenv: unit -> GenericVC.Environment.symenv, |
15 | statpid: GenericVC.PersStamps.persstamp, | statpid: GenericVC.PersStamps.persstamp, |
16 | sympid: GenericVC.PersStamps.persstamp } | sympid: GenericVC.PersStamps.persstamp } |
|
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |