diff options
author | Nadrieril | 2020-02-13 20:56:38 +0000 |
---|---|---|
committer | Nadrieril | 2020-02-13 20:56:38 +0000 |
commit | 350d1cf7d9c114b1334b2743071b0b99ea64c1ec (patch) | |
tree | f229aefbf52a22aacddd8a5fe5149e5c654e7f1f /dhall/src/error/mod.rs | |
parent | e25b67906ce68e8726e8139c1d1855f3ab2518ce (diff) |
TyExpr always carries a type
Diffstat (limited to 'dhall/src/error/mod.rs')
-rw-r--r-- | dhall/src/error/mod.rs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/dhall/src/error/mod.rs b/dhall/src/error/mod.rs index 9cb8a41..51bd549 100644 --- a/dhall/src/error/mod.rs +++ b/dhall/src/error/mod.rs @@ -51,7 +51,6 @@ pub struct TypeError { /// The specific type error #[derive(Debug)] pub(crate) enum TypeMessage { - Sort, Custom(String), } @@ -74,7 +73,6 @@ impl std::fmt::Display for TypeError { fn fmt(&self, f: &mut std::fmt::Formatter) -> std::fmt::Result { use TypeMessage::*; let msg = match &self.message { - Sort => format!("Type error: Unhandled error: {:?}", self.message), Custom(s) => format!("Type error: {}", s), }; write!(f, "{}", msg) |