diff options
author | Nadrieril | 2020-06-25 15:32:02 +0100 |
---|---|---|
committer | Nadrieril | 2020-06-25 16:49:20 +0100 |
commit | d2d8ab436021cee48fc61d4d2bb04d2e09159ec6 (patch) | |
tree | c66f2fd81b6a3ffe405079902b0f0eddc6f72c5d /dhall/tests/type-inference/failure/unit/MergeRhsNotUnion.txt | |
parent | b63e00cebff4a8b53c23faac2881fae640da7db2 (diff) |
test: mark excluded tests as ignored instead of deleting them
Diffstat (limited to 'dhall/tests/type-inference/failure/unit/MergeRhsNotUnion.txt')
0 files changed, 0 insertions, 0 deletions