summaryrefslogtreecommitdiff
path: root/dhall
diff options
context:
space:
mode:
authorNadrieril2019-08-16 11:11:28 +0200
committerNadrieril2019-08-16 11:11:28 +0200
commit509743469035582d916e6a2f331fd5018c81447e (patch)
tree7689c8ff696e8c6c28bd864ec6b46a2ef941f8de /dhall
parent91ba644fa47c29feb57dba957ee8aa115ed95fef (diff)
Use `!` type instead of custom empty type
Diffstat (limited to 'dhall')
-rw-r--r--dhall/src/phase/mod.rs6
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>;