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

Parent Directory | Revision Log | Patch

	revision 178, Tue Jul 27 20:35:40 2010 UTC	revision 179, Tue Jul 27 20:43:23 2010 UTC
#	Line 28	Line 28
28	bind = ref NONE	bind = ref NONE
29	}	}
30
31		(* create a type variable that is instantiated to a given type *)
32		fun newFromType ty = TV{
33		id = Stamp.new(),
34		bind = ref(SOME ty)
35		}
36
37	fun tyVarToString (TV{id, ...}) = "'ty" ^ Stamp.toString id	fun tyVarToString (TV{id, ...}) = "'ty" ^ Stamp.toString id
38
39

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.178   changed lines   Added in v.179

---

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