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/branches/primop-branch/src/compiler/ElabData/statenv/statenv.sml
ViewVC logotype

Diff of /sml/branches/primop-branch/src/compiler/ElabData/statenv/statenv.sml

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

revision 904, Mon Aug 20 19:50:05 2001 UTC revision 905, Thu Aug 23 21:53:02 2001 UTC
# Line 58  Line 58 
58    
59  fun sort env = ListMergeSort.sort B.binderGt (fold (op ::) nil env)  fun sort env = ListMergeSort.sort B.binderGt (fold (op ::) nil env)
60    
61    fun filter (e, l) =
62        let fun add (sy, e') = bind (sy, look (e, sy), e') handle Unbound => e'
63        in foldl add empty l
64        end
65    
66  end (* local *)  end (* local *)
67  end (* structure StaticEnv *)  end (* structure StaticEnv *)

Legend:
Removed from v.904  
changed lines
  Added in v.905

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