diff options
| author | Nadrieril | 2019-04-07 14:23:50 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-07 14:23:55 +0200 |
| commit | f680a3221c7475fae413a260d739cf8e0025081d (patch) | |
| tree | d430f817f1161eda02a7d0f4f5e232cb65b66e17 /dhall | |
| parent | 0f5b69ac599a4b6979de465cf520ff5c283cfdbd (diff) | |
Fix
Diffstat (limited to 'dhall')
| -rw-r--r-- | dhall/src/binary.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dhall/src/binary.rs b/dhall/src/binary.rs index 1ba1873..87972cf 100644 --- a/dhall/src/binary.rs +++ b/dhall/src/binary.rs @@ -29,6 +29,7 @@ fn cbor_value_to_dhall(data: &cbor::Value) -> Result<ParsedExpr, DecodeError> { "False" => BoolLit(false), "Type" => Const(Const::Type), "Kind" => Const(Const::Kind), + "Sort" => Const(Const::Sort), s => Var(V(Label::from(s), 0)), }, }, |