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

SCM Repository

[diderot] Diff of /branches/charisee_dev/src/compiler/tree-il/tree-il.sml
ViewVC logotype

Diff of /branches/charisee_dev/src/compiler/tree-il/tree-il.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 194  Line 194 
194    
195      fun varTys(x,y)=if Ty.same(x,y) then String.concat[" TySame: ",Ty.toString x," "]      fun varTys(x,y)=if Ty.same(x,y) then String.concat[" TySame: ",Ty.toString x," "]
196              else String.concat["\t rTy: ",Ty.toString x," \t mty: ",Ty.toString y," "]              else String.concat["\t rTy: ",Ty.toString x," \t mty: ",Ty.toString y," "]
197   (*  
198      fun varToString x=String.concat([" Var: ",Var.name x , " Kind: ",kindToString (Var.kind x),varTys(Var.rTy x,Var.mTy x)])      fun varToString x=String.concat([" Var: ",Var.name x , " Kind: ",kindToString (Var.kind x),varTys(Var.rTy x,Var.mTy x)])
199   *)   (*
200        fun varToString x=Var.name x        fun varToString x=Var.name x
201     *)
202    
203      fun preBool(pre, true)=pre      fun preBool(pre, true)=pre
204        | preBool(_,false)=""        | preBool(_,false)=""
# Line 222  Line 222 
222              fun toStrings e=String.concat(List.map toString e)              fun toStrings e=String.concat(List.map toString e)
223    
224      fun toStringS (S_Assign( [v],e))=String.concat["Assignments : ",Var.name v,"=",toString e]      fun toStringS (S_Assign( [v],e))=String.concat["Assignments : ",Var.name v,"=",toString e]
225        | toStringS (S_Assign( _,e))=String.concat ["Assignments : -multiple =",toString e]        | toStringS (S_Assign( [],e))=String.concat ["Assignments : none =",toString e]
226    | toStringS (S_Assign( vs,e))=String.concat ["Assignments : -multiple =",String.concatWith"," (List.map Var.name vs),"-",toString e]
227        | toStringS (S_Comment _ )=String.concat["Comment"]        | toStringS (S_Comment _ )=String.concat["Comment"]
228        | toStringS (S_IfThen (e,b) )=String.concat["{ifthen_"(*,toString e*),"}"]        | toStringS (S_IfThen (e,b) )=String.concat["{ifthen_"(*,toString e*),"}"]
229        | toStringS (S_IfThenElse (e,b1,b2) )=String.concat["{ifthenelse_",(*toString e,*)"}"]        | toStringS (S_IfThenElse (e,b1,b2) )=String.concat["{ifthenelse_",(*toString e,*)"}"]

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