diff options
author | Nadrieril | 2019-04-08 18:23:55 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-08 18:23:55 +0200 |
commit | 47c0a3ca296a9b775275c2c7118a172b9f0bcc54 (patch) | |
tree | c84f253528fdbea2f7d14aac1c909ec51c7b3184 /dhall/src/typecheck.rs | |
parent | 00fa24b851ff6337cf4c5c63f82d95488180a413 (diff) |
clippy
Diffstat (limited to '')
-rw-r--r-- | dhall/src/typecheck.rs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/dhall/src/typecheck.rs b/dhall/src/typecheck.rs index 5230aab..998d3ca 100644 --- a/dhall/src/typecheck.rs +++ b/dhall/src/typecheck.rs @@ -419,10 +419,9 @@ pub fn type_with( None => Err(mkerr(UnboundVariable)), }, App(f, args) => { - let mut iter = args.into_iter(); let mut seen_args: Vec<SubExpr<_, _>> = vec![]; let mut tf = f.get_type().clone(); - while let Some(a) = iter.next() { + for a in args { seen_args.push(a.as_expr().clone()); let (x, tx, tb) = ensure_matches!(tf, Pi(x, tx, tb) => (x, tx, tb), @@ -656,7 +655,7 @@ impl<S> TypeError<S> { ) -> Self { TypeError { context: context.clone(), - current: current, + current, type_message, } } |