diff options
author | Nadrieril | 2019-08-06 20:38:06 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-06 21:42:16 +0200 |
commit | 482be29e0f03e10c2469ef80bdd6ac7593207dc5 (patch) | |
tree | 7af9fba1964751870f4694b27304dde556590668 /dhall/src | |
parent | 2551e6f91110bfe385fa65dd63e576df637c26fa (diff) |
RFC3986 URLs
Diffstat (limited to '')
-rw-r--r-- | dhall/src/phase/binary.rs | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/dhall/src/phase/binary.rs b/dhall/src/phase/binary.rs index 443af7e..bab3fd8 100644 --- a/dhall/src/phase/binary.rs +++ b/dhall/src/phase/binary.rs @@ -195,8 +195,13 @@ fn cbor_value_to_dhall( } [U64(24), hash, U64(mode), U64(scheme), rest..] => { let mode = match mode { + 0 => ImportMode::Code, 1 => ImportMode::RawText, - _ => ImportMode::Code, + 2 => ImportMode::Location, + _ => Err(DecodeError::WrongFormatError(format!( + "import/mode/unknown_mode: {:?}", + mode + )))?, }; let hash = match hash { Null => None, @@ -545,6 +550,7 @@ where let mode = match import.mode { ImportMode::Code => 0, ImportMode::RawText => 1, + ImportMode::Location => 2, }; ser_seq.serialize_element(&U64(mode))?; |