Diff of /branches/vis15/src/compiler/typechecker/check-stmt.sml

Parent Directory | Revision Log | Patch

	revision 3412, Thu Nov 12 03:53:50 2015 UTC	revision 3413, Thu Nov 12 15:21:54 2015 UTC
#	Line 40	Line 40
40	datatype token = datatype TypeError.token	datatype token = datatype TypeError.token
41
42	(* mark a variable use with its location *)	(* mark a variable use with its location *)
43	fun useVar (cxt, x) = (x, Error.location cxt)	fun useVar (cxt : Env.context, x) = (x, #2 cxt)
44
45	(* typecheck a variable declaration *)	(* typecheck a variable declaration *)
46	fun checkVarDecl (env, cxt, kind, d) = (case d	fun checkVarDecl (env, cxt, kind, d) = (case d

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.3412   changed lines   Added in v.3413

---

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