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

Parent Directory | Revision Log | Patch

	revision 3419, Fri Nov 13 01:23:11 2015 UTC	revision 3421, Fri Nov 13 13:05:06 2015 UTC
#	Line 308	Line 308
308	val eTy = chkE (env, cxt, e)	val eTy = chkE (env, cxt, e)
309	fun illegalAssign kind = (	fun illegalAssign kind = (
310	err (cxt, [	err (cxt, [
311	S "assignment to ", S kind, S " ", A x,	S "illegal assignment to ", S kind, S " ", A x,
312	S " in ", S(E.scopeToString(E.currentScope env))	S " in ", S(E.scopeToString(E.currentScope env))
313	]);	]);
314	bogusStm env)	bogusStm env)

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.3419   changed lines   Added in v.3421

---

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