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

Parent Directory | Revision Log | Patch

	revision 102, Fri May 28 15:20:55 2010 UTC	revision 103, Tue Jun 1 16:04:04 2010 UTC
#	Line 167	Line 167
167	end))	end))
168
169	(* functions *)	(* functions *)
170	val fn_CL = polyVar (N.fn_CL, ty([tensor[N3, N3]] --> Ty.vec3Ty))	val fn_CL = polyVar (N.fn_CL, ty([tensor[N3, N3]] --> Ty.realTy))
171
172	val fn_convolve = polyVar (N.fn_convolve, all([DK, NK, SK],	val fn_convolve = polyVar (N.fn_convolve, all([DK, NK, SK],
173	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.102   changed lines   Added in v.103

---

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