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

SCM Repository

[diderot] Diff of /branches/lamont/src/compiler/high-il/check-high-il.sml
ViewVC logotype

Diff of /branches/lamont/src/compiler/high-il/check-high-il.sml

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

revision 2245, Sun Mar 3 12:51:51 2013 UTC revision 2246, Sun Mar 3 14:51:31 2013 UTC
# Line 67  Line 67 
67              | Op.Normalize ty => (ty, [ty])              | Op.Normalize ty => (ty, [ty])
68          | Op.Dist ty => (Ty.realTy,[ty,ty])          | Op.Dist ty => (Ty.realTy,[ty,ty])
69          | Op.SphereQuery ty => ((Ty.DynSeqTy ty),[Ty.realTy])          | Op.SphereQuery ty => ((Ty.DynSeqTy ty),[Ty.realTy])
70          | Op.R_All ty => (Ty.BoolTy, [ty,Ty.DynSeqTy(ty)])          | Op.R_All ty => (Ty.BoolTy, [ty,ty,Ty.DynSeqTy(ty)])
71          | Op.R_Exists ty => (Ty.BoolTy, [ty,Ty.DynSeqTy(ty)])          | Op.R_Exists ty => (Ty.BoolTy, [ty,ty,Ty.DynSeqTy(ty)])
72          | Op.R_Max ty => (Ty.TensorTy[],[Ty.TensorTy[],ty])          | Op.R_Max ty => (Ty.TensorTy[],[Ty.TensorTy[],Ty.TensorTy[],ty])
73          | Op.R_Min ty => (Ty.TensorTy[],[Ty.TensorTy[],ty])          | Op.R_Min ty => (Ty.TensorTy[],[Ty.TensorTy[],Ty.TensorTy[],ty])
74          | Op.R_Sum ty => (Ty.TensorTy[],[Ty.TensorTy[],ty])          | Op.R_Sum ty => (Ty.TensorTy[],[Ty.TensorTy[],Ty.TensorTy[],ty])
75          | Op.R_Product ty => (Ty.TensorTy[],[Ty.TensorTy[],ty])          | Op.R_Product ty => (Ty.TensorTy[],[Ty.TensorTy[],Ty.TensorTy[],ty])
76          | Op.R_Mean ty => (Ty.TensorTy[],[Ty.TensorTy[],ty])          | Op.R_Mean ty => (Ty.TensorTy[],[Ty.TensorTy[],Ty.TensorTy[],ty])
77          | Op.R_Variance ty => (Ty.TensorTy[],[Ty.TensorTy[],ty])          | Op.R_Variance ty => (Ty.TensorTy[],[Ty.TensorTy[],Ty.TensorTy[],ty])
78              | Op.Scale ty => (ty, [Ty.realTy, ty])              | Op.Scale ty => (ty, [Ty.realTy, ty])
79              | Op.PrincipleEvec(resTy as Ty.TensorTy[d]) => (resTy, [Ty.TensorTy[d,d]])              | Op.PrincipleEvec(resTy as Ty.TensorTy[d]) => (resTy, [Ty.TensorTy[d,d]])
80              | Op.Eigen2x2 => eigenSig 2              | Op.Eigen2x2 => eigenSig 2

Legend:
Removed from v.2245  
changed lines
  Added in v.2246

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