Paul Chiusano 608ad4830c fix unit tests and regenerate transcripts ... I was puzzled about the change to the blocks.md transcript at first. What's happening: the previous version of the transcript was going through TDNR, and was failing the cycle check for mutually recursive lambdas. The new version isn't going through TDNR at all, it's just doing ordinary typechecking of a cycle, and cycles don't have access to any abilities so it's failing with the expected error now. Arguably, the example should have used the FQN so TDNR wasn't involved in the previous example.		2020-10-20 18:26:46 -04:00
..
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	fix unit tests and regenerate transcripts	2020-10-20 18:26:46 -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
console2.u	fix stray case .. of instances and opportunities for cases in unison-src	2020-02-21 17:05:18 -08:00
console.u	fix stray case .. of instances and opportunities for cases in unison-src	2020-02-21 17:05:18 -08: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-reduce.u	fix stray handle .. in instances in unison-src	2020-02-21 17:05:18 -08: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