| .. |
|
check-for-regressions
|
separate the root and leaf mismatched types for a function application error message
|
2018-09-25 10:21:31 -04:00 |
|
poor-error-message
|
fix #413
|
2019-03-23 23:06:55 -04:00 |
|
term-functor-inspired
|
rename UInt64 to Nat
|
2018-09-24 13:15:40 -04:00 |
|
type-functor-inspired
|
fix #413
|
2019-03-23 23:06:55 -04:00 |
|
abort-ability-checks-against-pure.u
|
rename UInt64 to Nat
|
2018-09-24 13:15:40 -04:00 |
|
all-errors.u
|
rename Int64 to just Int
|
2018-09-24 13:36:13 -04:00 |
|
compiler-bug.u
|
unpending a bunch of tests
|
2019-03-08 12:56:02 -05: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
|
rename UInt64 to Nat
|
2018-09-24 13:15:40 -04:00 |
|
effect_unknown_type.uu
|
unpending a bunch of tests
|
2019-03-08 12:56:02 -05:00 |
|
effect-inference1.u
|
rename UInt64 to Nat
|
2018-09-24 13:15:40 -04:00 |
|
empty-block.u
|
unpending a bunch of tests
|
2019-03-08 12:56:02 -05:00 |
|
ex1.u
|
rename UInt64 to Nat
|
2018-09-24 13:15:40 -04:00 |
|
handle-inference.u
|
rename UInt64 to Nat
|
2018-09-24 13:15:40 -04:00 |
|
handler-coverage-checking.uu
|
rename UInt64 to Nat
|
2018-09-24 13:15:40 -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
|
CamelCase all the things
|
2019-02-21 14:49:12 -05:00 |
|
io-state1.u
|
CamelCase all the things
|
2019-02-21 14:49:12 -05:00 |
|
map-reduce.u
|
CamelCase all the things
|
2019-02-21 14:49:12 -05:00 |
|
map-traverse3.u
|
CamelCase all the things
|
2019-02-21 14:49:12 -05:00 |
|
need-nominal-type.uu
|
a couple more error examples
|
2018-08-08 23:20:38 -04:00 |
|
state4.u
|
rename Int64 to just Int
|
2018-09-24 13:36:13 -04:00 |
|
tdnr2.u
|
Now makes suggestions if the name matched but the type was different.
|
2018-10-11 21:49:01 -04:00 |
|
tdnr3.u
|
TDNR substituting blanks correctly
|
2018-10-15 16:10:55 -04:00 |
|
tdnr.u
|
Actually fail when TDNR has suggestions.
|
2018-08-17 22:21:51 -04:00 |
|
type-apply.u
|
CamelCase all the things
|
2019-02-21 14:49:12 -05:00 |
|
unexpected-loop.u
|
rename UInt64 to Nat
|
2018-09-24 13:15:40 -04:00 |
|
unresolved-symbol-1.u
|
CamelCase all the things
|
2019-02-21 14:49:12 -05: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
|
rename UInt64 to Nat
|
2018-09-24 13:15:40 -04:00 |
