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/einSet.sml
ViewVC logotype

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

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

revision 3343, Thu Oct 22 14:15:20 2015 UTC revision 3344, Fri Oct 23 04:38:49 2015 UTC
# Line 29  Line 29 
29    
30    
31      fun einSetToString(str,v,MidIL.EINAPP(e,args))=(String.concat["\n",str,DstV.toString v,"=",      fun einSetToString(str,v,MidIL.EINAPP(e,args))=(String.concat["\n",str,DstV.toString v,"=",
32                  P.printerE e,"(",String.concatWith","(List.map DstV.toString args),")"])                  P.printerE e,"(",String.concatWith","(List.map DstV.toString args),")\n"])
33    
34      fun allEq([], []) = true      fun allEq([], []) = true
35        | allEq(x::xs, y::ys) = DstIL.Var.same(x,y) andalso allEq (xs,ys)        | allEq(x::xs, y::ys) = DstIL.Var.same(x,y) andalso allEq (xs,ys)
# Line 41  Line 41 
41          )) tbl          )) tbl
42    
43      fun rtnVar (tbl,v,e)=(case setFind(tbl,v,e)      fun rtnVar (tbl,v,e)=(case setFind(tbl,v,e)
44          of NONE     => (einSetToString("\n\n inserting: ",v,e);(EinSet.add(tbl,(v,e)), NONE))          of NONE     => ((einSetToString("\n\t inserting: ",v,e));(EinSet.add(tbl,(v,e)), NONE))
45          | SOME(v1,e1) => ((einSetToString("\n\nfound: ",v,e));(einSetToString("\n with: ",v1,e1));(tbl,SOME v1))          | SOME(v1,e1) => ((einSetToString("\n\nfound: ",v,e));(einSetToString("\n with: ",v1,e1));(tbl,SOME v1))
46          (*end case*))          (*end case*))
47    

Legend:
Removed from v.3343  
changed lines
  Added in v.3344

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