diff options
| author | Nadrieril | 2020-01-17 18:31:45 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-01-17 18:31:45 +0000 |
| commit | ab672506fd45e33f60b1b962c4757f912b6e27be (patch) | |
| tree | 808846987354d14fa7f4b37317c9d7a930bd5777 /dhall/src/semantics/core/value.rs | |
| parent | 3881d36335fca6d72b0dd447130d6c1ce7ccbfee (diff) | |
Use alpha variables everywhere
Don't bother keeping name around, it complicates matters
Diffstat (limited to 'dhall/src/semantics/core/value.rs')
| -rw-r--r-- | dhall/src/semantics/core/value.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/semantics/core/value.rs b/dhall/src/semantics/core/value.rs index 5aa337d..d843a1b 100644 --- a/dhall/src/semantics/core/value.rs +++ b/dhall/src/semantics/core/value.rs @@ -163,7 +163,7 @@ impl Value { &self, opts: to_expr::ToExprOptions, ) -> NormalizedExpr { - to_expr::value_to_expr(self, opts) + to_expr::value_to_expr(self, opts, &vec![]) } pub(crate) fn to_whnf_ignore_type(&self) -> ValueKind<Value> { self.as_whnf().clone() |