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 '')
| -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 { |