summaryrefslogtreecommitdiff
path: root/dhall/src/phase
diff options
context:
space:
mode:
authorNadrieril2019-09-02 23:07:12 +0200
committerNadrieril2019-09-03 11:40:25 +0200
commit250525a05e1af17bb46ceb72879f471e54fb5091 (patch)
treefca819c7a7900492183b04e50494fa174d956125 /dhall/src/phase
parent468977575c68ac4cc3a57395ace4095db50e8947 (diff)
No need to change the type of Embed when resolving anymore
Diffstat (limited to 'dhall/src/phase')
-rw-r--r--dhall/src/phase/mod.rs4
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall/src/phase/mod.rs b/dhall/src/phase/mod.rs
index 2c5505c..337ce3d 100644
--- a/dhall/src/phase/mod.rs
+++ b/dhall/src/phase/mod.rs
@@ -16,8 +16,8 @@ pub(crate) mod parse;
pub(crate) mod resolve;
pub(crate) mod typecheck;
-pub type ParsedExpr = Expr<!>;
-pub type DecodedExpr = Expr<!>;
+pub type ParsedExpr = Expr<Normalized>;
+pub type DecodedExpr = Expr<Normalized>;
pub type ResolvedExpr = Expr<Normalized>;
pub type NormalizedExpr = Expr<Normalized>;