summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--dhall/src/binary.rs39
1 files changed, 25 insertions, 14 deletions
diff --git a/dhall/src/binary.rs b/dhall/src/binary.rs
index 1fa075e..8fe66f5 100644
--- a/dhall/src/binary.rs
+++ b/dhall/src/binary.rs
@@ -9,7 +9,7 @@ type ParsedExpr = Rc<Expr<X, Import>>;
#[derive(Debug)]
pub enum DecodeError {
CBORError(serde_cbor::error::Error),
- WrongFormatError,
+ WrongFormatError(String),
}
pub fn decode(data: &[u8]) -> Result<ParsedExpr, DecodeError> {
@@ -89,7 +89,9 @@ fn cbor_value_to_dhall(data: &cbor::Value) -> Result<ParsedExpr, DecodeError> {
9 => Prefer,
10 => CombineTypes,
11 => ImportAlt,
- _ => Err(DecodeError::WrongFormatError)?,
+ _ => {
+ Err(DecodeError::WrongFormatError("binop".to_owned()))?
+ }
};
BinOp(op, x, y)
}
@@ -169,7 +171,9 @@ fn cbor_value_to_dhall(data: &cbor::Value) -> Result<ParsedExpr, DecodeError> {
let x = cbor_value_to_dhall(&x)?;
let y = match y {
String(s) => s.clone(),
- _ => Err(DecodeError::WrongFormatError)?,
+ _ => Err(DecodeError::WrongFormatError(
+ "text".to_owned(),
+ ))?,
};
Ok((x, y))
})
@@ -194,10 +198,12 @@ fn cbor_value_to_dhall(data: &cbor::Value) -> Result<ParsedExpr, DecodeError> {
let mut tuples = bindings.iter().tuples();
let bindings = (&mut tuples)
.map(|(x, t, v)| {
- let x = match x {
- String(s) => Label::from(s.as_str()),
- _ => Err(DecodeError::WrongFormatError)?,
- };
+ let x = x.as_string().ok_or(
+ DecodeError::WrongFormatError(
+ "let/label".to_owned(),
+ ),
+ )?;
+ let x = Label::from(x.as_str());
let t = match t {
Null => None,
t => Some(cbor_value_to_dhall(&t)?),
@@ -206,10 +212,9 @@ fn cbor_value_to_dhall(data: &cbor::Value) -> Result<ParsedExpr, DecodeError> {
Ok((x, t, v))
})
.collect::<Result<Vec<_>, _>>()?;
- let expr = tuples
- .into_buffer()
- .next()
- .ok_or(DecodeError::WrongFormatError)?;
+ let expr = tuples.into_buffer().next().ok_or(
+ DecodeError::WrongFormatError("let/expr".to_owned()),
+ )?;
let expr = cbor_value_to_dhall(expr)?;
return Ok(bindings
.into_iter()
@@ -220,9 +225,13 @@ fn cbor_value_to_dhall(data: &cbor::Value) -> Result<ParsedExpr, DecodeError> {
let y = cbor_value_to_dhall(&y)?;
Annot(x, y)
}
- _ => Err(DecodeError::WrongFormatError)?,
+ [U64(t), ..] => Err(DecodeError::WrongFormatError(format!(
+ "unknown tag: {}",
+ t
+ )))?,
+ _ => Err(DecodeError::WrongFormatError("array".to_owned()))?,
},
- _ => Err(DecodeError::WrongFormatError)?,
+ _ => Err(DecodeError::WrongFormatError("unknown type".to_owned()))?,
}))
}
@@ -231,7 +240,9 @@ fn cbor_map_to_dhall_map(
) -> Result<std::collections::BTreeMap<Label, ParsedExpr>, DecodeError> {
map.iter()
.map(|(k, v)| -> Result<(_, _), _> {
- let k = k.as_string().ok_or(DecodeError::WrongFormatError)?;
+ let k = k
+ .as_string()
+ .ok_or(DecodeError::WrongFormatError("map/key".to_owned()))?;
let v = cbor_value_to_dhall(v)?;
Ok((Label::from(k.as_ref()), v))
})