diff options
author | Nadrieril | 2019-08-13 20:54:15 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-13 20:54:15 +0200 |
commit | 77af0bbc171618f48531cc6b1d77e18089928885 (patch) | |
tree | 8bac17d4b3f1f1adf5f823708d322876eef6cfee /dhall/src/phase/mod.rs | |
parent | 5895c3aa6552f75d7e5202be561f9734fe8945e7 (diff) |
Stop tracking the absence of Embed values at the type level
Diffstat (limited to 'dhall/src/phase/mod.rs')
-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 8c93889..7364949 100644 --- a/dhall/src/phase/mod.rs +++ b/dhall/src/phase/mod.rs @@ -2,7 +2,7 @@ use std::borrow::Cow; use std::fmt::Display; use std::path::Path; -use dhall_syntax::{Const, Import, SubExpr, X}; +use dhall_syntax::{Const, Import, SubExpr}; use crate::core::thunk::{Thunk, TypedThunk}; use crate::core::value::Value; @@ -20,7 +20,7 @@ pub(crate) mod typecheck; pub type ParsedSubExpr = SubExpr<Import>; pub type DecodedSubExpr = SubExpr<Import>; pub type ResolvedSubExpr = SubExpr<Normalized>; -pub type NormalizedSubExpr = SubExpr<X>; +pub type NormalizedSubExpr = SubExpr<Normalized>; #[derive(Debug, Clone)] pub struct Parsed(ParsedSubExpr, ImportRoot); |