| .. |
|
check-for-regressions
|
wired up case guard message
|
2018-08-29 12:32:40 -04:00 |
|
poor-error-message
|
Fixed console.uu
|
2018-08-23 14:56:50 -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 |
|
console2.u
|
fix issue in case checking where scrutineeType and outputType weren't being refined after each branch
|
2018-08-22 20:58:49 -04:00 |
|
console.u
|
test now passing
|
2018-08-22 21:08:53 -04:00 |
|
effect_unknown_type.uu
|
A few failing typechecker tests
|
2018-08-26 21:14:32 +01: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
|
wip - pretty errors for ill-typed function applications
|
2018-08-19 22:52:44 -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.u
|
fix issue where continuation in handler was not being appropriately constrained
|
2018-08-20 12:21:33 -04:00 |
|
X-array.u
|
update test files
|
2018-08-07 13:09:35 -04:00 |
