diff options
| author | Nadrieril | 2019-08-04 11:15:28 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-08-06 21:40:24 +0200 |
| commit | 278cd9be7d93bc1eeecde05c964da5b097668016 (patch) | |
| tree | 6a80b2d3d7a3cd5eee043b0bc627cdd5b686dcc7 | |
| parent | 5f872a7a5de12898fce32c057818ac2efb90e3fb (diff) | |
rustfmt
Diffstat (limited to '')
| -rw-r--r-- | dhall/src/phase/binary.rs | 17 |
1 files changed, 10 insertions, 7 deletions
diff --git a/dhall/src/phase/binary.rs b/dhall/src/phase/binary.rs index dcf60bb..443af7e 100644 --- a/dhall/src/phase/binary.rs +++ b/dhall/src/phase/binary.rs @@ -232,7 +232,8 @@ fn cbor_value_to_dhall( // } // } _ => Err(DecodeError::WrongFormatError( - "import/remote/headers is unimplemented".to_owned(), + "import/remote/headers is unimplemented" + .to_owned(), ))?, }; let authority = match rest.next() { @@ -567,12 +568,14 @@ where ImportLocation::Remote(url) => { match &url.headers { None => ser_seq.serialize_element(&Null)?, - Some(location_hashed) => ser_seq.serialize_element( - &self::Serialize::Expr(&SubExpr::from_expr_no_note(ExprF::Embed(Import { - mode: ImportMode::Code, - location_hashed: location_hashed.as_ref().clone(), - }))), - )?, + Some(location_hashed) => { + ser_seq.serialize_element(&self::Serialize::Expr( + &SubExpr::from_expr_no_note(ExprF::Embed(Import { + mode: ImportMode::Code, + location_hashed: location_hashed.as_ref().clone(), + })), + ))? + } }; ser_seq.serialize_element(&url.authority)?; for p in &url.path { |