diff options
| author | Nadrieril | 2020-06-25 16:29:46 +0100 |
|---|---|---|
| committer | Nadrieril | 2020-06-25 16:29:46 +0100 |
| commit | 8719a9332eaab35ef671b954def018bc5dcddcf9 (patch) | |
| tree | e6ccfbb242e2b25ac0d9e7a1097077a5ade28f82 /dhall/tests/type-inference/failure | |
| parent | 5dda920cc988bbd332353eea5f310f2798d4ff8c (diff) | |
fix: exclude prelude test for now
It's broken because cached imports get alpha-normalized. Those tests
should be run with a dummy cache.
Diffstat (limited to 'dhall/tests/type-inference/failure')
0 files changed, 0 insertions, 0 deletions