diff options
author | Nadrieril | 2019-03-21 15:42:16 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-21 15:42:16 +0100 |
commit | 427c5e55a6e6768b22c3e7ad40594d451ac024e7 (patch) | |
tree | ed5b8ae5af363536bbbf8054a0eeb6c014e3e2fa /dhall/src/binary.rs | |
parent | 7bbf42dc5d3727dffcb036ffe30dd433faff1950 (diff) |
Rename Record/Union to RecordType/UnionType
Diffstat (limited to '')
-rw-r--r-- | dhall/src/binary.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall/src/binary.rs b/dhall/src/binary.rs index 1ab7956..9099afc 100644 --- a/dhall/src/binary.rs +++ b/dhall/src/binary.rs @@ -129,7 +129,7 @@ fn cbor_value_to_dhall(data: &cbor::Value) -> Result<ParsedExpr, DecodeError> { } [U64(7), Object(map)] => { let map = cbor_map_to_dhall_map(map)?; - Record(map) + RecordType(map) } [U64(8), Object(map)] => { let map = cbor_map_to_dhall_map(map)?; @@ -142,7 +142,7 @@ fn cbor_value_to_dhall(data: &cbor::Value) -> Result<ParsedExpr, DecodeError> { } [U64(11), Object(map)] => { let map = cbor_map_to_dhall_map(map)?; - Union(map) + UnionType(map) } [U64(12), String(l), x, Object(map)] => { let map = cbor_map_to_dhall_map(map)?; |