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

SCM Repository

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

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

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

revision 5047, Wed Jul 12 22:46:18 2017 UTC revision 5048, Thu Jul 13 01:09:59 2017 UTC
# Line 110  Line 110 
110     * Keeps track of the place of the argument in substitution.     * Keeps track of the place of the argument in substitution.
111     *)     *)
112      fun doRHS (lhs, IR.EINAPP(ein, args)) = let      fun doRHS (lhs, IR.EINAPP(ein, args)) = let
113            val _ = ("\ncentral ein"^EinPP.toString(ein))  val _ = print ("\n in doRHS central ein:"^EinPP.toString(ein))
114              fun rewrite (false, _, _, [], _) = (NONE)              fun rewrite (false, _, _, [], _) = (NONE)
115                | rewrite (true, einOp, _, [], args') =(                | rewrite (true, einOp, _, [], args') =(
116                  SOME[(lhs, IR.EINAPP(doNormalize einOp, args'))])                  SOME[(lhs, IR.EINAPP(doNormalize einOp, args'))])
# Line 119  Line 119 
119                    | SOME(newE, newA) => let                    | SOME(newE, newA) => let
120    
121                          val Ein.EIN{params, ...} = einOp                          val Ein.EIN{params, ...} = einOp
122                          val _ = ("\ninside ein"^EinPP.toString(einOp))                          val _ =print ("\ninside ein"^EinPP.toString(einOp))
123                        val (changed, einOp', place', done') =                        val (changed, einOp', place', done') =
124                              rewriteEin (changed, params, place, newE, newA, args', x, einOp, lhs)                              rewriteEin (changed, params, place, newE, newA, args', x, einOp, lhs)
125                        in                        in

Legend:
Removed from v.5047  
changed lines
  Added in v.5048

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