diff options
Diffstat (limited to 'dhall/src/phase')
| -rw-r--r-- | dhall/src/phase/binary.rs | 8 | ||||
| -rw-r--r-- | dhall/src/phase/normalize.rs | 4 |
2 files changed, 9 insertions, 3 deletions
diff --git a/dhall/src/phase/binary.rs b/dhall/src/phase/binary.rs index 464d71a..0639120 100644 --- a/dhall/src/phase/binary.rs +++ b/dhall/src/phase/binary.rs @@ -187,7 +187,9 @@ fn cbor_value_to_dhall(data: &cbor::Value) -> Result<DecodedExpr, DecodeError> { let y = cbor_value_to_dhall(&y)?; ProjectionByExpr(x, y) } else { - Err(DecodeError::WrongFormatError("projection-by-expr".to_owned()))? + Err(DecodeError::WrongFormatError( + "projection-by-expr".to_owned(), + ))? } } [U64(10), x, rest @ ..] => { @@ -586,7 +588,9 @@ where .chain(once(expr(x))) .chain(ls.iter().map(label)), ), - ProjectionByExpr(x, y) => ser_seq!(ser; tag(10), expr(x), vec![expr(y)]), + ProjectionByExpr(x, y) => { + ser_seq!(ser; tag(10), expr(x), vec![expr(y)]) + } Import(import) => serialize_import(ser, import), Embed(_) => unimplemented!( "An expression with resolved imports cannot be binary-encoded" diff --git a/dhall/src/phase/normalize.rs b/dhall/src/phase/normalize.rs index ae1aefe..b712027 100644 --- a/dhall/src/phase/normalize.rs +++ b/dhall/src/phase/normalize.rs @@ -738,7 +738,9 @@ pub(crate) fn normalize_one_layer( } } } - ExprF::ProjectionByExpr(_, _) => unimplemented!("selection by expression"), + ExprF::ProjectionByExpr(_, _) => { + unimplemented!("selection by expression") + } ExprF::Merge(ref handlers, ref variant, _) => { let handlers_borrow = handlers.as_whnf(); |