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

SCM Repository

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

Diff of /branches/lamont/src/compiler/low-il/check-low-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 73  Line 73 
73              | Op.EigenVals3x3 => (Ty.SeqTy(Ty.realTy, 3), [Ty.TensorTy[3,3]])              | Op.EigenVals3x3 => (Ty.SeqTy(Ty.realTy, 3), [Ty.TensorTy[3,3]])
74              | Op.Identity d => (Ty.TensorTy[d,d], [])              | Op.Identity d => (Ty.TensorTy[d,d], [])
75              | Op.Zero ty => (ty, [])              | Op.Zero ty => (ty, [])
76          | Op.R_All ty => (Ty.BoolTy, [ty,Ty.DynSeqTy(ty)])          | Op.R_All ty => (Ty.BoolTy, [ty,ty,Ty.DynSeqTy(ty)])
77          | Op.R_Exists ty => (Ty.BoolTy, [ty,Ty.DynSeqTy(ty)])          | Op.R_Exists ty => (Ty.BoolTy, [ty,ty,Ty.DynSeqTy(ty)])
78          | Op.R_Max ty => (Ty.TensorTy[],[Ty.TensorTy[],ty])          | Op.R_Max ty => (Ty.TensorTy[],[Ty.TensorTy[],Ty.TensorTy[],ty])
79          | Op.R_Min ty => (Ty.TensorTy[],[Ty.TensorTy[],ty])          | Op.R_Min ty => (Ty.TensorTy[],[Ty.TensorTy[],Ty.TensorTy[],ty])
80          | Op.R_Sum ty => (Ty.TensorTy[],[Ty.TensorTy[],ty])          | Op.R_Sum ty => (Ty.TensorTy[],[Ty.TensorTy[],Ty.TensorTy[],ty])
81          | Op.R_Product ty => (Ty.TensorTy[],[Ty.TensorTy[],ty])          | Op.R_Product ty => (Ty.TensorTy[],[Ty.TensorTy[],Ty.TensorTy[],ty])
82          | Op.R_Mean ty => (Ty.TensorTy[],[Ty.TensorTy[],ty])          | Op.R_Mean ty => (Ty.TensorTy[],[Ty.TensorTy[],Ty.TensorTy[],ty])
83          | Op.R_Variance ty => (Ty.TensorTy[],[Ty.TensorTy[],ty])          | Op.R_Variance ty => (Ty.TensorTy[],[Ty.TensorTy[],Ty.TensorTy[],ty])
84              | Op.Select(ty as Ty.TupleTy tys, i) => (List.nth(tys, i-1), [ty])              | Op.Select(ty as Ty.TupleTy tys, i) => (List.nth(tys, i-1), [ty])
85              | Op.Index(ty as Ty.TensorTy[d], _) => (Ty.realTy, [ty])              | Op.Index(ty as Ty.TensorTy[d], _) => (Ty.realTy, [ty])
86              | Op.Index(ty as Ty.SeqTy(elemTy, _), _) => (elemTy, [ty])              | Op.Index(ty as Ty.SeqTy(elemTy, _), _) => (elemTy, [ty])

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