Diff of /trunk/src/basis/basis-vars.sml

Parent Directory | Revision Log | Patch

	revision 87, Wed May 26 23:07:39 2010 UTC	revision 88, Wed May 26 23:07:50 2010 UTC
#	Line 181	Line 181
181
182	val fn_cos = polyVar (N.fn_cos, ty([Ty.realTy] --> Ty.realTy))	val fn_cos = polyVar (N.fn_cos, ty([Ty.realTy] --> Ty.realTy))
183
184	val fn_dot = polyVar (N.fn_dot, allNK(fn tv => [tensor[Ty.DimVar tv]] --> tensor[Ty.DimVar tv]))	val fn_dot = polyVar (N.fn_dot, allNK(fn tv => let
185		val t = tensor[Ty.DimVar tv]
186		in
187		[t, t] --> t
188		end))
189
190	val fn_inside = polyVar (N.fn_inside,       all([DK, NK, SK],	val fn_inside = polyVar (N.fn_inside,       all([DK, NK, SK],
191	fn [Ty.DIFF k, Ty.DIM d, Ty.SHAPE dd] => let	fn [Ty.DIFF k, Ty.DIM d, Ty.SHAPE dd] => let

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.87   changed lines   Added in v.88

---

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