1
1
mirror of https://github.com/anoma/juvix.git synced 2024-12-15 01:52:11 +03:00
juvix/test/TypeCheck
Paul Cadman 109f3cf472
Use the ModulesCache for open statements in ScopedToAbstract pass (#224)
* Use the ModulesCache for `open` statements

* Refactor using suggestion from Jan
2022-07-03 16:16:46 +01:00
..
Negative.hs Fix: proper error handling for typechecker errors (#189) 2022-06-22 11:42:59 +02:00
Positive.hs Use the ModulesCache for open statements in ScopedToAbstract pass (#224) 2022-07-03 16:16:46 +01:00