SCM Repository
Diff of /sml/trunk/src/compiler/FLINT/opt/fcontract.sml
Parent Directory
| 
Revision Log
| 
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 |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
