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

SCM Repository

[smlnj] Diff of /sml/trunk/src/compiler/TopLevel/environ/symenv.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/TopLevel/environ/symenv.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 878, Wed Jul 18 17:43:27 2001 UTC revision 879, Thu Jul 19 18:59:38 2001 UTC
# Line 3  Line 3 
3    
4  structure SymbolicEnv: SYMENV =  structure SymbolicEnv: SYMENV =
5  struct  struct
6    type flint = CompBasic.flint    type flint = FLINT.prog
7    type pid = PersStamps.persstamp    type pid = PersStamps.persstamp
8    type symenv = flint PersMap.map    type symenv = flint PersMap.map
9    
# Line 19  Line 19 
19    fun consolidate e = e    fun consolidate e = e
20    fun singleton (p, l) = bind (p, l, empty)    fun singleton (p, l) = bind (p, l, empty)
21    fun listItemsi e = PersMap.listItemsi e    fun listItemsi e = PersMap.listItemsi e
22    fun fromListi il = foldl PersMap.insert' PersMap.empty il    fun fromListi il = foldl PersMap.insert' empty il
23      fun mk (NONE, _) = empty
24        | mk (_, NONE) = empty
25        | mk (SOME p, SOME l) = singleton (p, l)
26  end (* structure SymbolicEnv *)  end (* structure SymbolicEnv *)
   
   

Legend:
Removed from v.878  
changed lines
  Added in v.879

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