diff options
| author | NanoTech | 2016-12-08 21:21:56 +0000 |
|---|---|---|
| committer | NanoTech | 2017-03-10 23:48:28 -0600 |
| commit | 54064666084d6dfa3eaecb7ba51c09c28b8cf987 (patch) | |
| tree | a4e3810a071a64d2566673903665659bd09174d7 /src/typecheck.rs | |
| parent | 70b6c7fbcf20a27fdb5ae49707ad09ec5bf7e8c7 (diff) | |
subst: Take the input Exprs by reference
Diffstat (limited to 'src/typecheck.rs')
| -rw-r--r-- | src/typecheck.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/typecheck.rs b/src/typecheck.rs index aedce38..f6e6c7f 100644 --- a/src/typecheck.rs +++ b/src/typecheck.rs @@ -158,7 +158,7 @@ pub fn type_with<'i, S>(ctx: &Context<'i, Expr<'i, S, X>>, if prop_equal(&tA, &tA2) { let vx0 = V(x, 0); let a2 = shift::<S, S, X>( 1, vx0, a); - let tB2 = subst(vx0, a2, (*tB).clone()); + let tB2 = subst(vx0, &a2, &tB); let tB3 = shift::<S, S, X>(-1, vx0, &tB2); Ok(tB3) } else { |