diff options
author | Nadrieril | 2019-08-16 11:11:28 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-16 11:11:28 +0200 |
commit | 509743469035582d916e6a2f331fd5018c81447e (patch) | |
tree | 7689c8ff696e8c6c28bd864ec6b46a2ef941f8de /dhall/src | |
parent | 91ba644fa47c29feb57dba957ee8aa115ed95fef (diff) |
Use `!` type instead of custom empty type
Diffstat (limited to '')
-rw-r--r-- | dhall/src/phase/mod.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/dhall/src/phase/mod.rs b/dhall/src/phase/mod.rs index b73597c..2700e99 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, SubExpr, Void}; +use dhall_syntax::{Const, SubExpr}; use crate::core::thunk::{Thunk, TypedThunk}; use crate::core::value::Value; @@ -17,8 +17,8 @@ pub(crate) mod parse; pub(crate) mod resolve; pub(crate) mod typecheck; -pub type ParsedSubExpr = SubExpr<Void>; -pub type DecodedSubExpr = SubExpr<Void>; +pub type ParsedSubExpr = SubExpr<!>; +pub type DecodedSubExpr = SubExpr<!>; pub type ResolvedSubExpr = SubExpr<Normalized>; pub type NormalizedSubExpr = SubExpr<Normalized>; |