diff options
author | Nadrieril | 2019-12-22 19:02:18 +0000 |
---|---|---|
committer | Nadrieril | 2019-12-22 19:02:18 +0000 |
commit | e294450e1e76491e96019b8a3695463e09d1739b (patch) | |
tree | 01ef89cdc8c20960636bd9c2f46828c0a95f9427 /dhall/src/syntax/binary/decode.rs | |
parent | 54d7e61ad40682ee24e36288980ee4164ea87c34 (diff) |
Implement parsing for record completion
Diffstat (limited to 'dhall/src/syntax/binary/decode.rs')
-rw-r--r-- | dhall/src/syntax/binary/decode.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/dhall/src/syntax/binary/decode.rs b/dhall/src/syntax/binary/decode.rs index 254ab07..c18deb5 100644 --- a/dhall/src/syntax/binary/decode.rs +++ b/dhall/src/syntax/binary/decode.rs @@ -98,6 +98,11 @@ fn cbor_value_to_dhall(data: &cbor::Value) -> Result<DecodedExpr, DecodeError> { let l = Label::from(l.as_str()); Pi(l, x, y) } + [U64(3), U64(13), x, y] => { + let x = cbor_value_to_dhall(&x)?; + let y = cbor_value_to_dhall(&y)?; + Completion(x, y) + } [U64(3), U64(n), x, y] => { let x = cbor_value_to_dhall(&x)?; let y = cbor_value_to_dhall(&y)?; |