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

SCM Repository

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

Diff of /branches/charisee/src/compiler/tree-il/tree-il.sml

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

revision 3196, Fri May 29 18:42:37 2015 UTC revision 3197, Tue Jun 2 17:11:42 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
201    
202    
203      fun preBool(pre, true)=pre      fun preBool(pre, true)=pre
# Line 207  Line 209 
209                  String.concatWith",\n\t" (List.map toString args),")"]                  String.concatWith",\n\t" (List.map toString args),")"]
210        | toString (E_Cons(nSize, oSize,args)) =String.concat ["ConsExp:", Int.toString nSize,Int.toString oSize, "(",        | toString (E_Cons(nSize, oSize,args)) =String.concat ["ConsExp:", Int.toString nSize,Int.toString oSize, "(",
211              String.concatWith"," (List.map toString args),")"]              String.concatWith"," (List.map toString args),")"]
212        | toString (E_State x) = String.concat["Exp:STATEVar",stateVarToString x]        | toString (E_State x) = String.concat[(*"Exp:STATEVar",*)stateVarToString x]
213        | toString (E_Var x) = String.concat["Exp:REGULARVAR",varToString x]        | toString (E_Var x) = String.concat[(*"Exp:REGULARVAR",*)varToString x]
214        | toString (E_Lit lit) = Literal.toString lit        | toString (E_Lit lit) = Literal.toString lit
215        | toString(E_Apply(mathfn, args))=String.concat["Apply (",        | toString(E_Apply(mathfn, args))=String.concat["Apply (",
216              String.concatWith"," (List.map toString args),")"]              String.concatWith"," (List.map toString args),")"]

Legend:
Removed from v.3196  
changed lines
  Added in v.3197

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