diff options
author | Nadrieril | 2020-01-21 18:51:00 +0000 |
---|---|---|
committer | Nadrieril | 2020-01-21 18:53:03 +0000 |
commit | 3182c121815857c0b2b3c057f1d2944c51332cdc (patch) | |
tree | 9dca465148809d990e2b2d6ae7e6b17774b7747e /dhall/src/semantics/core/visitor.rs | |
parent | 015b24b04128cbf5a60fbc8ac3f526306ca27378 (diff) |
Prepare Value for reverse variables
I thought it would work ><. It's a bit too early
Diffstat (limited to 'dhall/src/semantics/core/visitor.rs')
-rw-r--r-- | dhall/src/semantics/core/visitor.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/semantics/core/visitor.rs b/dhall/src/semantics/core/visitor.rs index a449f6c..5a04747 100644 --- a/dhall/src/semantics/core/visitor.rs +++ b/dhall/src/semantics/core/visitor.rs @@ -81,7 +81,7 @@ where Pi(l.clone(), t, e) } AppliedBuiltin(b, xs) => AppliedBuiltin(*b, v.visit_vec(xs)?), - Var(v) => Var(v.clone()), + Var(v, w) => Var(v.clone(), *w), Const(k) => Const(*k), BoolLit(b) => BoolLit(*b), NaturalLit(n) => NaturalLit(*n), |