diff options
| author | Nadrieril | 2019-08-14 22:55:00 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-08-14 22:55:00 +0200 |
| commit | 67cdda53d95057174b86878f22dbc0efc0255fd9 (patch) | |
| tree | 5c395fa7506de6c5f34fab785dc09d6c03cd1b6f | |
| parent | 160b05778808976ab9bd79fa7a142ca2e94ac67a (diff) | |
Fix typo in normalization
| -rw-r--r-- | dhall/src/core/value.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/core/value.rs b/dhall/src/core/value.rs index 20a6021..845596b 100644 --- a/dhall/src/core/value.rs +++ b/dhall/src/core/value.rs @@ -107,7 +107,7 @@ impl Value { )) }; (λ($var:ident : $($ty:tt)*) -> $($rest:tt)*) => { - rc(ExprF::Pi( + rc(ExprF::Lam( stringify!($var).into(), make_expr!($($ty)*), make_expr!($($rest)*) |