summaryrefslogtreecommitdiff
path: root/dhall/src/error
diff options
context:
space:
mode:
authorNadrieril2019-11-11 13:49:47 +0000
committerNadrieril2019-11-11 13:55:48 +0000
commitc9c248a4cab21fa1ae7692cd193e3b2c698d431d (patch)
tree186a0dd0598d53334bf46fb81280248edbbb7ded /dhall/src/error
parent207d10c4b7d838d712b135dca56bc31f3fe5b648 (diff)
Add a few more pretty errors
Diffstat (limited to 'dhall/src/error')
-rw-r--r--dhall/src/error/mod.rs16
1 files changed, 8 insertions, 8 deletions
diff --git a/dhall/src/error/mod.rs b/dhall/src/error/mod.rs
index 02e8ed3..4d59cbb 100644
--- a/dhall/src/error/mod.rs
+++ b/dhall/src/error/mod.rs
@@ -104,16 +104,16 @@ impl std::fmt::Display for TypeError {
use TypeMessage::*;
let msg = match &self.message {
UnboundVariable(span) => span.error("Type error: Unbound variable"),
- InvalidInputType(_) => {
- "Type error: Invalid function input".to_string()
+ InvalidInputType(v) => {
+ v.span().error("Type error: Invalid function input")
}
- InvalidOutputType(_) => {
- "Type error: Invalid function output".to_string()
- }
- NotAFunction(_) => "Type error: Not a function".to_string(),
- TypeMismatch(_, _, _) => {
- "Type error: Wrong type of function argument".to_string()
+ InvalidOutputType(v) => {
+ v.span().error("Type error: Invalid function output")
}
+ NotAFunction(v) => v.span().error("Type error: Not a function"),
+ TypeMismatch(v, _, _) => v
+ .span()
+ .error("Type error: Wrong type of function argument"),
_ => "Type error: Unhandled error".to_string(),
};
write!(f, "{}", msg)