Paul Chiusano c00f4e51e5 Merge pull request #233 from unisonweb/topic/pretty-errors ... one round of errors improvement		2018-08-18 08:07:44 -04:00
..
poor-error-message	Kill the computer	2018-08-16 12:42:38 -04:00
term-functor-inspired	a couple more error examples	2018-08-08 23:20:38 -04:00
type-functor-inspired	Merge remote-tracking branch 'origin/topic/pretty-errors' into wip/effects	2018-08-10 11:25:29 -04:00
all-errors.u	fix off-by-one highlight end issue	2018-08-03 10:43:08 -04:00
console.uu	unsoundness isolated pending test	2018-08-17 12:42:03 -04:00
ex1.u	add ex1.u discussion of recursive/interactive type errors	2018-08-16 17:45:50 -04:00
handle-inference.u	moved the last of the tests from Unison.Test.Typechecker into individual files	2018-08-09 16:08:51 -04:00
id.u	map Intrinsic over builtin types; make some tweaks to typemismatch error	2018-08-03 11:51:43 -04:00
io-effect.u	moved the last of the tests from Unison.Test.Typechecker into individual files	2018-08-09 16:08:51 -04:00
io-state1.u	moved the last of the tests from Unison.Test.Typechecker into individual files	2018-08-09 16:08:51 -04:00
many-errors.u	improved error for mismatched case body types	2018-08-17 18:54:28 -04:00
map-reduce.u	Merge branch 'master' into wip/effects	2018-08-14 16:13:50 -04:00
need-nominal-type.uu	a couple more error examples	2018-08-08 23:20:38 -04:00
state3.uu	unison-src/errors/state3.uu currently typechecks, even though it uses but doesn't handle the effect-pure case	2018-08-09 16:19:01 -04:00
state4.u	moved the last of the tests from Unison.Test.Typechecker into individual files	2018-08-09 16:08:51 -04:00
tdnr.u	Actually fail when TDNR has suggestions.	2018-08-17 22:21:51 -04:00
type-apply.u	moved the last of the tests from Unison.Test.Typechecker into individual files	2018-08-09 16:08:51 -04:00
unresolved-symbol-1.u	moved a couple typechecker tests to .u files	2018-08-07 13:25:05 -04:00
unsound-cont.uu	unsoundness isolated pending test	2018-08-17 12:42:03 -04:00
X-array.u	update test files	2018-08-07 13:09:35 -04:00