diff options
author | Nadrieril | 2020-02-18 19:12:31 +0000 |
---|---|---|
committer | Nadrieril | 2020-02-19 17:09:18 +0000 |
commit | 7cbfc1a0d32766a383d1f48902502adaa2234d2f (patch) | |
tree | e668b7f764fb4981a802bc619e0b2ff62fa9ce16 /dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeRhsNotRecord.txt | |
parent | a3990858840a737d7831be45953b38bd67361fb7 (diff) |
Avoid re-typechecking after import
Diffstat (limited to 'dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeRhsNotRecord.txt')
0 files changed, 0 insertions, 0 deletions