diff options
| author | Nadrieril | 2019-09-02 23:07:12 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-09-03 11:40:25 +0200 |
| commit | 250525a05e1af17bb46ceb72879f471e54fb5091 (patch) | |
| tree | fca819c7a7900492183b04e50494fa174d956125 /dhall | |
| parent | 468977575c68ac4cc3a57395ace4095db50e8947 (diff) | |
No need to change the type of Embed when resolving anymore
Diffstat (limited to 'dhall')
| -rw-r--r-- | dhall/src/phase/mod.rs | 4 |
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>; |