SCM Repository
Annotation of /sml/trunk/src/cm/stable/stabmm.sml
Parent Directory
| 
Revision Log
Revision 651 - (view) (download)
| 1 : | blume | 588 | local |
| 2 : | structure SE = GenericVC.StaticEnv | ||
| 3 : | structure MI = GenericVC.ModuleId | ||
| 4 : | in | ||
| 5 : | signature STAB_MODMAP = sig | ||
| 6 : | val get : unit -> MI.tmap | ||
| 7 : | val reset : unit -> unit | ||
| 8 : | val addEnv : SE.staticEnv -> MI.tmap | ||
| 9 : | end | ||
| 10 : | |||
| 11 : | functor StabModmapFn () :> STAB_MODMAP = struct | ||
| 12 : | |||
| 13 : | val mm = ref MI.emptyTmap | ||
| 14 : | |||
| 15 : | fun reset () = mm := MI.emptyTmap | ||
| 16 : | fun get () = !mm | ||
| 17 : | |||
| 18 : | fun addEnv se = let | ||
| 19 : | val m = GenModIdMap.mkMap' (se, !mm) | ||
| 20 : | in | ||
| 21 : | mm := m; m | ||
| 22 : | end | ||
| 23 : | end | ||
| 24 : | end |
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
