1
1
mirror of https://github.com/anoma/juvix.git synced 2024-12-14 08:27:03 +03:00
juvix/test
Paul Cadman 5bbe6cbfb2 [test] Add test for multiple type errors
Add test for literals
2022-04-04 14:59:56 +01:00
..
Scope [ scoper ] add InfoTableBuilder effect 2022-03-25 17:44:32 +01:00
TypeCheck [test] Add test for multiple type errors 2022-04-04 14:59:56 +01:00
Base.hs [test] Adds negative typecheck test for constructor 2022-03-31 09:28:20 +01:00
Main.hs [test] Adds negative typecheck test for constructor 2022-03-31 09:28:20 +01:00
Scope.hs [tests] setup step-wise positive tests 2022-02-18 13:01:42 +01:00
TypeCheck.hs [test] Adds negative typecheck test for constructor 2022-03-31 09:28:20 +01:00