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

Parent Directory | Revision Log | Patch

	revision 170, Sat Jul 24 13:30:47 2010 UTC	revision 171, Sat Jul 24 14:13:10 2010 UTC
#	Line 13	Line 13
13
14	fun nameOf (V{name, ...}) = name	fun nameOf (V{name, ...}) = name
15	fun typeOf (V{ty, ...}) = ty	fun typeOf (V{ty, ...}) = ty
16		fun monoTypeOf (V{ty=([], ty), ...}) = ty
17		| monoTypeOf (V{name, ...}) = raise Fail(name ^ " is not monomrphic")
18	fun kindOf (V{kind, ...}) = kind	fun kindOf (V{kind, ...}) = kind
19
20	fun new (name, kind, ty) = let	fun new (name, kind, ty) = let

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.170   changed lines   Added in v.171

---

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