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

Parent Directory | Revision Log | Patch

	revision 895, Wed Apr 20 17:20:44 2011 UTC	revision 896, Wed Apr 20 17:21:05 2011 UTC
#	Line 71	Line 71
71	| Op.ScaleField => (Ty.FieldTy, [Ty.realTy, Ty.FieldTy])	| Op.ScaleField => (Ty.FieldTy, [Ty.realTy, Ty.FieldTy])
72	| Op.NegField => (Ty.FieldTy, [Ty.FieldTy])	| Op.NegField => (Ty.FieldTy, [Ty.FieldTy])
73	| Op.DiffField => (Ty.FieldTy, [Ty.FieldTy])	| Op.DiffField => (Ty.FieldTy, [Ty.FieldTy])
74	| Op.Probe(rngTy, domTy) => (rngTy, [Ty.FieldTy, domTy])	| Op.Probe(domTy, rngTy) => (rngTy, [Ty.FieldTy, domTy])
75	| Op.Input(ty, _) => (ty, [])	| Op.Input(ty, _) => (ty, [])
76	| Op.InputWithDefault(ty, _) => (ty, [ty])	| Op.InputWithDefault(ty, _) => (ty, [ty])
77	| _ => raise Fail("sigOf: invalid operator " ^ Op.toString rator)	| _ => raise Fail("sigOf: invalid operator " ^ Op.toString rator)

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.895   changed lines   Added in v.896

---

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