diff options
author | Nadrieril | 2019-04-06 21:54:55 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-06 21:54:55 +0200 |
commit | c4438eb3d52b1a69c9022b12e8de135b8c9991c9 (patch) | |
tree | 1327b59e34ada638276e28085da0614df5917a21 /dhall/src/expr.rs | |
parent | 7983c43210f5fcaa439fa1c6742e72252652e4f4 (diff) |
Start taking Typed seriously
Diffstat (limited to 'dhall/src/expr.rs')
-rw-r--r-- | dhall/src/expr.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/expr.rs b/dhall/src/expr.rs index cc7f064..831fbc5 100644 --- a/dhall/src/expr.rs +++ b/dhall/src/expr.rs @@ -15,7 +15,7 @@ pub struct Typed(pub(crate) SubExpr<X, X>, pub(crate) Type); pub type Type = SubExpr<X, X>; #[derive(Debug, Clone)] -pub struct Normalized(pub(crate) SubExpr<X, X>); +pub struct Normalized(pub(crate) SubExpr<X, X>, pub(crate) Type); impl PartialEq for Parsed { fn eq(&self, other: &Self) -> bool { |