Diff of /trunk/src/ast/type-util.sml

Parent Directory | Revision Log | Patch

	revision 75, Mon May 24 20:41:18 2010 UTC	revision 81, Wed May 26 17:28:54 2010 UTC
#	Line 53	Line 53
53	"field#", diffToString diff, "(", dimToString dim,	"field#", diffToString diff, "(", dimToString dim,
54	")", shapeToString shape	")", shapeToString shape
55	]	]
56	| Ty.T_Fun(tys1, tys2) => let	| Ty.T_Fun(tys1, ty2) => let
57	fun tysToString [] = "()"	fun tysToString [] = "()"
58	| tysToString [ty] = toString ty	| tysToString [ty] = toString ty
59	| tysToString tys = String.concat[	| tysToString tys = String.concat[
60	"(", listToString toString " * " tys, ")"	"(", listToString toString " * " tys, ")"
61	]	]
62	in	in
63	String.concat[tysToString tys1, " -> ", tysToString tys2]	String.concat[tysToString tys1, " -> ", toString ty2]
64	end	end
65	(* end case *))	(* end case *))
66

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.75   changed lines   Added in v.81

---

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