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

SCM Repository

[diderot] Diff of /branches/charisee_dev/src/compiler/high-to-mid/ProbeEin.sml
ViewVC logotype

Diff of /branches/charisee_dev/src/compiler/high-to-mid/ProbeEin.sml

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

revision 3324, Tue Oct 20 05:22:52 2015 UTC revision 3325, Tue Oct 20 17:04:54 2015 UTC
# Line 38  Line 38 
38      *)      *)
39    
40      val testing=0      val testing=0
41      val testlift=0      val testlift=1
42      val detflag =false      val detflag =true
43      val fieldliftflag=false      val fieldliftflag=true
44      val valnumflag=false      val valnumflag=true
45    
46    
47      val cnt = ref 0      val cnt = ref 0
# Line 239  Line 239 
239              (*end case*))              (*end case*))
240    
241          val _ =(case splitvar          val _ =(case splitvar
242          of true=> print(String.concat["splitvar is true", P.printbody body])          of true=> (String.concat["splitvar is true", P.printbody body])
243          | _ => print(String.concat["splitvar is false",P.printbody body])          | _ => (String.concat["splitvar is false",P.printbody body])
244          (*end case*))          (*end case*))
245    
246    
# Line 348  Line 348 
348          val code0 = (y,einApp0)          val code0 = (y,einApp0)
349          val _= toStringBind  e          val _= toStringBind  e
350          val _ =toStringBind code0          val _ =toStringBind code0
351         val _ = print(String.concat  ["\norig",P.printbody(Ein.body ein),"\n replace i  ",P.printbody body1,"\nfreshtensor",P.printbody body0])         val _ = (String.concat  ["\norig",P.printbody(Ein.body ein),"\n replace i  ",P.printbody body1,"\nfreshtensor",P.printbody body0])
352         val _ =print(String.concat(List.map toStringBind (codeAll@[code0])))         val _ =(String.concat(List.map toStringBind (codeAll@[code0])))
353                 val _=print"\n*************************************\n"                 val _=print"\n*************************************\n"
354          in          in
355          codeAll@[code0]          codeAll@[code0]

Legend:
Removed from v.3324  
changed lines
  Added in v.3325

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