diff options
author | Nadrieril | 2020-04-05 22:56:45 +0100 |
---|---|---|
committer | Nadrieril | 2020-04-05 22:56:45 +0100 |
commit | 12b81d55e1343fc30138d1a13cd48fa2e05744df (patch) | |
tree | b99dadebeab8094c129cc5d872cfd561f9aa78f3 /dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds2.txt | |
parent | fc965361346461fbd52bb132caa874778d9fe913 (diff) |
Fix import bug
Diffstat (limited to 'dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds2.txt')
0 files changed, 0 insertions, 0 deletions