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/common | |
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/common')
0 files changed, 0 insertions, 0 deletions