diff options
author | Nadrieril | 2019-04-10 23:43:14 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-10 23:43:14 +0200 |
commit | 7446472833c86fba612fffa436e93514f773f305 (patch) | |
tree | 8e763ea8c47e0d805c4f9c6d00f42992f5ed4812 /dhall/src | |
parent | 7740ec004c6d7e073358bf2be00b6c0006e4dd06 (diff) |
Display error messages
Diffstat (limited to '')
-rw-r--r-- | dhall/src/error.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/dhall/src/error.rs b/dhall/src/error.rs index eba7ff5..9e64b7e 100644 --- a/dhall/src/error.rs +++ b/dhall/src/error.rs @@ -7,18 +7,23 @@ quick_error! { pub enum Error { IO(err: std::io::Error) { from() + display("{}", err) } Parse(err: dhall_core::ParseError) { from() + display("{}", err) } Decode(err: crate::binary::DecodeError) { from() + display("{:?}", err) } Resolve(err: crate::imports::ImportError) { from() + display("{}", err) } Typecheck(err: crate::typecheck::TypeError<dhall_core::X>) { from() + display("{:?}", err) } } } |