From f680a3221c7475fae413a260d739cf8e0025081d Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Sun, 7 Apr 2019 14:23:50 +0200 Subject: Fix --- dhall/src/binary.rs | 1 + 1 file changed, 1 insertion(+) 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 { "False" => BoolLit(false), "Type" => Const(Const::Type), "Kind" => Const(Const::Kind), + "Sort" => Const(Const::Sort), s => Var(V(Label::from(s), 0)), }, }, -- cgit v1.2.3