Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/high-opt/normalize.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/high-opt/normalize.sml

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

revision 3520, Sat Dec 19 15:49:06 2015 UTC revision 3521, Sat Dec 19 16:43:35 2015 UTC
# Line 61  Line 61 
61             of Ein.TEN(0, _) => (changed, orig, place+1, done@[newEinApp])             of Ein.TEN(0, _) => (changed, orig, place+1, done@[newEinApp])
62              | _ => let              | _ => let
63                  val rtnArgs = done @ newArgs                  val rtnArgs = done @ newArgs
64                  val (c, subst) = App.app(orig, place, newE, newArgs, done)                  val (c, subst) = Apply.apply(orig, place, newE)
65                  in                  in
66                    if (c = 0)                    if c
67                      then (true, subst, place + length newArgs, rtnArgs)                      then (true, subst, place + length newArgs, rtnArgs)
68                      else (                      else (
69                        incUse lhs; List.app incUse newArgs; decUse newEinApp;                        incUse lhs; List.app incUse newArgs; decUse newEinApp;

Legend:
Removed from v.3520  
changed lines
  Added in v.3521

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