diff options
| author | Fintan Halpenny | 2019-09-06 12:43:52 +0200 |
|---|---|---|
| committer | Fintan Halpenny | 2019-09-06 12:43:52 +0200 |
| commit | 4424d3ece5db10527ae446a685a579ae768ef943 (patch) | |
| tree | 688d29c25f12c2c5347e3d24db8b9b7fb83c7b04 /dhall/src/phase/mod.rs | |
| parent | 52c91e08db68e05f760ebfd465b84fe4107731df (diff) | |
| parent | bcaeab3b7b114d8782be9589ad673ab9ab8c59fd (diff) | |
Merge remote-tracking branch 'origin/master' into fintan/canonicalize
Diffstat (limited to '')
| -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>; |