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

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

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

revision 2665, Tue Jun 3 02:37:46 2014 UTC revision 2666, Wed Jun 4 01:59:49 2014 UTC
# Line 61  Line 61 
61              | IL.E_Cons (ty , exps)     => add(([ty],mkFnC exp),exps)              | IL.E_Cons (ty , exps)     => add(([ty],mkFnC exp),exps)
62              | IL.E_LoadVec(ty,_,exps,_) => add(([vecTy ty],mkFnC exp),[exps])              | IL.E_LoadVec(ty,_,exps,_) => add(([vecTy ty],mkFnC exp),[exps])
63              | IL.E_mkVec(_,ty,_,exps)   => add(([vecTy ty,Ty.unionTy ty],mkFnC exp), exps)              | IL.E_mkVec(_,ty,_,exps)   => add(([vecTy ty,Ty.unionTy ty],mkFnC exp), exps)
64                | IL.E_LoadVecAligned(ty,_,exps,_) => add(([vecTy ty],mkFnC exp),[exps])
65                | IL.E_mkVecAligned(_,ty,_,exps)   => add(([vecTy ty,Ty.unionTy ty],mkFnC exp), exps)
66              | IL.E_Op(Op, exps)         => add(TypeofOp Op, exps)              | IL.E_Op(Op, exps)         => add(TypeofOp Op, exps)
67              (*end case*))              (*end case*))
68          end          end
# Line 97  Line 98 
98    
99          in t2          in t2
100          end          end
101    | getTypesFiltered(t,IL.S_Mk (_,exp))= let
102    val t2=typeOfExp(t,exp)
103    val _=(case testing
104    of 1=> (print(String.concat["\n ---",IL.toString exp,prnTy(t2,"Current")]);1)
105    | _=>1
106    (*end case*))
107    
108    in t2
109    end
110    
111        | getTypesFiltered(t, _)= t        | getTypesFiltered(t, _)= t
112    
113    

Legend:
Removed from v.2665  
changed lines
  Added in v.2666

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