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/FLINT/opt/fcontract.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/FLINT/opt/fcontract.sml

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

revision 939, Tue Sep 25 19:25:48 2001 UTC revision 940, Thu Sep 27 20:31:52 2001 UTC
# Line 590  Line 590 
590                          * to f, we have to be careful to update its                          * to f, we have to be careful to update its
591                          * binding to not refer to f any more since f                          * binding to not refer to f any more since f
592                          * will disappear *)                          * will disappear *)
593                         val nm = foldl (fn (h,m) =>                         val m = foldl (fn (h,m) =>
594                                         if sval2val(lookup m h) = F.VAR f                                         if sval2val(lookup m h) = F.VAR f
595                                         then addbind(m, h, svg) else m)                                         then addbind(m, h, svg) else m)
596                                        m hs                                        m hs

Legend:
Removed from v.939  
changed lines
  Added in v.940

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