diff options
author | Nadrieril | 2019-05-02 17:07:11 +0200 |
---|---|---|
committer | Nadrieril | 2019-05-02 17:07:11 +0200 |
commit | db3ca819283f9bd99d197de464717f0b58b52fe4 (patch) | |
tree | 51ae89e9b1153a7f9b3aa5dae38cfe4441aef9af /dhall/src/imports.rs | |
parent | c13a4881b56bf2f5b2d5d4d0018a48927b45e7e0 (diff) |
Instead of possibly nonexistent Type, treat Sort specially
Diffstat (limited to 'dhall/src/imports.rs')
0 files changed, 0 insertions, 0 deletions