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/normalize.rs | |
| parent | 7983c43210f5fcaa439fa1c6742e72252652e4f4 (diff) | |
Start taking Typed seriously
Diffstat (limited to 'dhall/src/normalize.rs')
| -rw-r--r-- | dhall/src/normalize.rs | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/dhall/src/normalize.rs b/dhall/src/normalize.rs index 8ed2136..f9633fb 100644 --- a/dhall/src/normalize.rs +++ b/dhall/src/normalize.rs @@ -6,10 +6,7 @@ use std::fmt; impl Typed { pub fn normalize(self) -> Normalized { - Normalized(normalize(self.0)) - } - pub fn get_type(&self) -> &Type { - &self.1 + Normalized(normalize(self.0), self.1) } } |