Martin Šošić 424def31d6 TypeError now uses WithCtx internally. (#408)		2022-01-08 23:54:32 +01:00
..
Evaluation	Enriched Evaluation errors with parse context + made them showable. (#407)	2022-01-08 23:52:26 +01:00
Parser	Better type error messages (and context). (#400)	2022-01-08 23:50:48 +01:00
TypeChecker	TypeError now uses WithCtx internally. (#408)	2022-01-08 23:54:32 +01:00
EvaluatorTest.hs	Enriched Evaluation errors with parse context + made them showable. (#407)	2022-01-08 23:52:26 +01:00
ParserTest.hs	Better type error messages (and context). (#400)	2022-01-08 23:50:48 +01:00
TestUtil.hs	Better type error messages (and context). (#400)	2022-01-08 23:50:48 +01:00
TypeCheckerTest.hs	TypeError now uses WithCtx internally. (#408)	2022-01-08 23:54:32 +01:00