Diff of /trunk/src/compiler/translate/translate.sml

Parent Directory | Revision Log | Patch

	revision 425, Mon Oct 18 18:13:34 2010 UTC	revision 426, Mon Oct 18 18:49:55 2010 UTC
#	Line 31	Line 31
31	| Ty.T_Int => DstTy.IntTy	| Ty.T_Int => DstTy.IntTy
32	| Ty.T_String => DstTy.StringTy	| Ty.T_String => DstTy.StringTy
33	| Ty.T_Kernel _ => DstTy.KernelTy	| Ty.T_Kernel _ => DstTy.KernelTy
34	| Ty.T_Tensor(Ty.Shape dd) => DstTy.TensorTy(List.map (fn (Ty.DimConst d) => d) dd)	| Ty.T_Tensor(Ty.Shape dd) => let
35		fun cvtDim (Ty.DimConst 1) = NONE
36		| cvtDim (Ty.DimConst d) = SOME d
37		in
38		DstTy.TensorTy(List.mapPartial cvtDim dd)
39		end
40	| Ty.T_Image _ => DstTy.ImageTy	| Ty.T_Image _ => DstTy.ImageTy
41	| Ty.T_Field _ => DstTy.FieldTy	| Ty.T_Field _ => DstTy.FieldTy
42	| ty => raise Fail("cvtTy: unexpected " ^ TypeUtil.toString ty)	| ty => raise Fail("cvtTy: unexpected " ^ TypeUtil.toString ty)

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.425   changed lines   Added in v.426

---

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