Diff of /trunk/src/compiler/ast/var.sml

Parent Directory | Revision Log | Patch

	revision 172, Sat Jul 24 15:37:08 2010 UTC	revision 173, Sat Jul 24 15:37:50 2010 UTC
#	Line 16	Line 16
16	fun monoTypeOf (V{ty=([], ty), ...}) = ty	fun monoTypeOf (V{ty=([], ty), ...}) = ty
17	| monoTypeOf (V{name, ...}) = raise Fail(name ^ " is not monomrphic")	| monoTypeOf (V{name, ...}) = raise Fail(name ^ " is not monomrphic")
18	fun kindOf (V{kind, ...}) = kind	fun kindOf (V{kind, ...}) = kind
19		fun uniqueNameOf (V{name, id, ...}) = name ^ Stamp.toString id
20
21	fun new (name, kind, ty) = let	fun new (name, kind, ty) = let
22	val id = Stamp.new()	val id = Stamp.new()

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.172   changed lines   Added in v.173

---

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