diff options
author | Nadrieril | 2019-11-11 18:20:24 +0000 |
---|---|---|
committer | Nadrieril | 2019-11-11 18:20:24 +0000 |
commit | d5b28bf2b4a5a26de67e4de731ad19699f33e75e (patch) | |
tree | 6971fcd8500b1e073116a9aad5bd54fe57ac3455 /dhall/src/phase/normalize.rs | |
parent | ada19118f894fbd71642ea683d9376cbbd756f7d (diff) |
rustfmt
Diffstat (limited to 'dhall/src/phase/normalize.rs')
-rw-r--r-- | dhall/src/phase/normalize.rs | 4 |
1 files changed, 3 insertions, 1 deletions
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(); |