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 2628, Wed May 21 04:02:06 2014 UTC revision 2631, Fri May 23 18:13:12 2014 UTC
# Line 5  Line 5 
5      structure Op = TreeOps      structure Op = TreeOps
6      structure Ty = TreeILTypes      structure Ty = TreeILTypes
7      structure IL=TreeIL      structure IL=TreeIL
8        structure TS=tString
9    
     val vec3Ty = Ty.vecTy 3  
10    
11      (* utility function for synthesizing eigenvector/eigenvalue signature *)      (* utility function for synthesizing eigenvector/eigenvalue signature *)
12      fun eigenSig dim = let      fun eigenSig dim = let
# Line 31  Line 31 
31              | Op.IMul  => intTy              | Op.IMul  => intTy
32              | Op.IDiv => intTy              | Op.IDiv => intTy
33              | Op.INeg  =>intTy              | Op.INeg  =>intTy
34              | Op.S ( _ ,Ty.indexTy i, ty) => realTy              | Op.IndexTensor(_,resultTy,_,argTy)=> resultTy
             | Op.V ( _ ,d,_, Ty.TensorTy(ty)) => vecTy d  
35              | Op.addSca => realTy              | Op.addSca => realTy
36              | Op.subSca => realTy              | Op.subSca => realTy
37              | Op.prodSca => realTy              | Op.prodSca => realTy
# Line 121  Line 120 
120          val types=typeOfExp exp          val types=typeOfExp exp
121          val types2=m (types,[])          val types2=m (types,[])
122          val str2= List.map Ty.toString types2          val str2= List.map Ty.toString types2
123          val pnstr2= print(String.concat["\n ---",ExpOp.toStringEx exp ,"\n \t Types: ",String.concatWith "," str2])          val pnstr2= print(String.concat["\n ---",TS.toStringEx exp ,"\n \t Types: ",String.concatWith "," str2])
124          in types2          in types2
125          end          end
126        | getTypesFilteredPnt _= []        | getTypesFilteredPnt _= []

Legend:
Removed from v.2628  
changed lines
  Added in v.2631

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