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

SCM Repository

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

Diff of /branches/charisee/src/compiler/high-il/normalize.sml

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

revision 3266, Fri Oct 2 18:54:29 2015 UTC revision 3267, Wed Oct 7 19:26:16 2015 UTC
# Line 103  Line 103 
103              val b=String.concatWith " , " (List.map V.toString done)              val b=String.concatWith " , " (List.map V.toString done)
104              val r=String.concatWith " , " (List.map V.toString rtnArgs)              val r=String.concatWith " , " (List.map V.toString rtnArgs)
105    
106             (* val _ = testp["\n Apply at ", Int.toString(place),"-",V.toString newEinApp ,":--",P.printerE(newE),                val _ = testp["\n Apply at ", Int.toString(place),"-",V.toString newEinApp ,":--",P.printerE(newE),
107                  "\nArgs:",b,"\n newArgs:",a,"\nrtnArgs:",r,                  "\nArgs:",b,"\n newArgs:",a,"\nrtnArgs:",r,
108                      "\n","Subst Result:\t", P.printerE(subst), "\n"]                      "\n","Subst Result:\t", P.printerE(subst), "\n"]
109              val _ =print(String.concat["\n \n***** \n lhs ",nameCnt lhs," with ",nameCnt newEinApp ,":--",             (* val _ =print(String.concat["\n \n***** \n lhs ",nameCnt lhs," with ",nameCnt newEinApp ,":--",
110                  nameCnts rtnArgs ,"\n"])*)                  nameCnts rtnArgs ,"\n"])*)
111              in (case c              in (case c
112                  of 0 => (1,subst, place+length(newArgs), rtnArgs)                  of 0 => (1,subst, place+length(newArgs), rtnArgs)

Legend:
Removed from v.3266  
changed lines
  Added in v.3267

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