| .. |
|
check-for-regressions
|
fix stray case .. of instances and opportunities for cases in unison-src
|
2020-02-21 17:05:18 -08:00 |
|
poor-error-message
|
Delete 9 files with namespace blocks, #2189.
|
2021-07-09 15:18:40 -04:00 |
|
term-functor-inspired
|
fix stray case .. of instances and opportunities for cases in unison-src
|
2020-02-21 17:05:18 -08:00 |
|
type-functor-inspired
|
unique introduces a layout block, removed effect keyword (and updated tests) and nicer "file typechecked" message
|
2019-05-09 10:36:29 -04:00 |
|
407.u
|
fix #407
|
2019-04-25 23:27:10 -04:00 |
|
abort-ability-checks-against-pure.u
|
unique introduces a layout block, removed effect keyword (and updated tests) and nicer "file typechecked" message
|
2019-05-09 10:36:29 -04:00 |
|
all-errors.u
|
unique introduces a layout block, removed effect keyword (and updated tests) and nicer "file typechecked" message
|
2019-05-09 10:36:29 -04:00 |
|
compiler-bug.u
|
unpending a bunch of tests
|
2019-03-08 12:56:02 -05:00 |
|
cyclic-unguarded.u
|
improved error message a bit
|
2019-04-11 17:43:02 -04:00 |
|
effect_unknown_type.uu
|
unique introduces a layout block, removed effect keyword (and updated tests) and nicer "file typechecked" message
|
2019-05-09 10:36:29 -04:00 |
|
effect-inference1.u
|
unique introduces a layout block, removed effect keyword (and updated tests) and nicer "file typechecked" message
|
2019-05-09 10:36:29 -04:00 |
|
empty-block.u
|
unpending a bunch of tests
|
2019-03-08 12:56:02 -05:00 |
|
ex1.u
|
fix stray case .. of instances and opportunities for cases in unison-src
|
2020-02-21 17:05:18 -08:00 |
|
fix745.u
|
remove garbage past the fold
|
2019-08-19 16:36:40 -04:00 |
|
handle-inference.u
|
fix stray handle .. in instances in unison-src
|
2020-02-21 17:05:18 -08:00 |
|
handler-coverage-checking.uu
|
fix stray handle .. in instances in unison-src
|
2020-02-21 17:05:18 -08: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
|
unique introduces a layout block, removed effect keyword (and updated tests) and nicer "file typechecked" message
|
2019-05-09 10:36:29 -04:00 |
|
io-state1.u
|
unique introduces a layout block, removed effect keyword (and updated tests) and nicer "file typechecked" message
|
2019-05-09 10:36:29 -04:00 |
|
map-traverse3.u
|
fix stray case .. of instances and opportunities for cases in unison-src
|
2020-02-21 17:05:18 -08:00 |
|
mismatched-braces.u
|
fix #469
|
2019-04-26 16:43:16 -04:00 |
|
need-nominal-type.uu
|
a couple more error examples
|
2018-08-08 23:20:38 -04:00 |
|
rank2a.u
|
add two failing tests, which we are about to fix
|
2019-04-03 15:00:05 -04:00 |
|
seq-concat-constant-length.u
|
fix stray case .. of instances and opportunities for cases in unison-src
|
2020-02-21 17:05:18 -08:00 |
|
state4.u
|
unique introduces a layout block, removed effect keyword (and updated tests) and nicer "file typechecked" message
|
2019-05-09 10:36:29 -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
|
fix stray case .. of instances and opportunities for cases in unison-src
|
2020-02-21 17:05:18 -08:00 |
|
unexpected-loop.u
|
unique introduces a layout block, removed effect keyword (and updated tests) and nicer "file typechecked" message
|
2019-05-09 10:36:29 -04:00 |
|
unresolved-symbol-1.u
|
CamelCase all the things
|
2019-02-21 14:49:12 -05:00 |
|
unsound-cont.u
|
fix stray handle .. in instances in unison-src
|
2020-02-21 17:05:18 -08:00 |
|
X-array.u
|
rename UInt64 to Nat
|
2018-09-24 13:15:40 -04:00 |
