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

Parent Directory | Revision Log | Patch

	revision 1031, Sun May 1 17:39:05 2011 UTC	revision 1032, Sun May 1 17:39:37 2011 UTC
#	Line 68	Line 68
68	| Op.Field dim => (Ty.FieldTy, [Ty.ImageTy dim, Ty.KernelTy])	| Op.Field dim => (Ty.FieldTy, [Ty.ImageTy dim, Ty.KernelTy])
69	| Op.Inside dim => (Ty.BoolTy, [Ty.TensorTy[dim], Ty.FieldTy])	| Op.Inside dim => (Ty.BoolTy, [Ty.TensorTy[dim], Ty.FieldTy])
70	| Op.AddField =>  (Ty.FieldTy, [Ty.FieldTy, Ty.FieldTy])	| Op.AddField =>  (Ty.FieldTy, [Ty.FieldTy, Ty.FieldTy])
71		| Op.SubField =>  (Ty.FieldTy, [Ty.FieldTy, Ty.FieldTy])
72	| Op.ScaleField => (Ty.FieldTy, [Ty.realTy, Ty.FieldTy])	| Op.ScaleField => (Ty.FieldTy, [Ty.realTy, Ty.FieldTy])
73	| Op.NegField => (Ty.FieldTy, [Ty.FieldTy])	| Op.NegField => (Ty.FieldTy, [Ty.FieldTy])
74	| Op.DiffField => (Ty.FieldTy, [Ty.FieldTy])	| Op.DiffField => (Ty.FieldTy, [Ty.FieldTy])

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.1031   changed lines   Added in v.1032

---

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