diff options
Diffstat (limited to '')
| -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)), }, }, |