Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/src/cm/stable/stabmm.sml
ViewVC logotype

Annotation of /sml/trunk/src/cm/stable/stabmm.sml

Parent Directory Parent Directory | Revision Log 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