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

Parent Directory | Revision Log | Patch

	revision 71, Sat May 22 22:16:04 2010 UTC	revision 72, Sat May 22 22:48:47 2010 UTC
#	Line 9	Line 9
9
10	datatype var = datatype AST.var	datatype var = datatype AST.var
11
12		datatype var_kind = datatype AST.var_kind
13
14	fun typeOf (V{ty, ...}) = ty	fun typeOf (V{ty, ...}) = ty
15		fun kindOf (V{kind, ...}) = kind
16
17	fun new (name, kind, ty) = let	fun new (name, kind, ty) = let
18	val id = Stamp.new()	val id = Stamp.new()

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.71   changed lines   Added in v.72

---

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