diff options
author | Nadrieril Feneanar | 2019-12-20 19:48:58 +0000 |
---|---|---|
committer | GitHub | 2019-12-20 19:48:58 +0000 |
commit | ce428c5512314c524535794bd89f95043fe7c221 (patch) | |
tree | c542ad7bfce433a4446bf50794e934de74aadd06 /dhall/tests/type-errors/unit/RecordLitDuplicateFields.txt | |
parent | de0dd59204e979e29445d634a0739394110261ef (diff) | |
parent | 6d2c56cc13303ddea6b7f46d5d34659c6c558d19 (diff) |
Merge pull request #119 from Nadrieril/seal-trait
Seal `Deserialize` trait
Diffstat (limited to 'dhall/tests/type-errors/unit/RecordLitDuplicateFields.txt')
0 files changed, 0 insertions, 0 deletions