diff options
| author | Nadrieril | 2019-11-11 12:43:09 +0000 |
|---|---|---|
| committer | Nadrieril | 2019-11-11 13:50:36 +0000 |
| commit | 330f063e80a51f8f399864f9d01412e1bff34fe9 (patch) | |
| tree | d008005efc57222c0b33f5069c6ce8576cc7bd43 /dhall/src/error | |
| parent | 5d5a356b8eb36e277c312e5550d1cb0a2f82e9fa (diff) | |
Display first pretty type error
Diffstat (limited to 'dhall/src/error')
| -rw-r--r-- | dhall/src/error/mod.rs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/dhall/src/error/mod.rs b/dhall/src/error/mod.rs index 5338e2d..efbd578 100644 --- a/dhall/src/error/mod.rs +++ b/dhall/src/error/mod.rs @@ -1,6 +1,6 @@ use std::io::Error as IOError; -use dhall_syntax::{BinOp, Import, Label, ParseError, V}; +use dhall_syntax::{BinOp, Import, Label, ParseError, Span}; use crate::core::context::TypecheckContext; use crate::core::value::Value; @@ -48,7 +48,7 @@ pub struct TypeError { /// The specific type error #[derive(Debug)] pub(crate) enum TypeMessage { - UnboundVariable(V<Label>), + UnboundVariable(Span), InvalidInputType(Value), InvalidOutputType(Value), NotAFunction(Value), @@ -102,8 +102,8 @@ impl TypeError { impl std::fmt::Display for TypeError { fn fmt(&self, f: &mut std::fmt::Formatter) -> std::fmt::Result { use TypeMessage::*; - let msg = match self.message { - UnboundVariable(_) => "Unbound variable".to_string(), + let msg = match &self.message { + UnboundVariable(span) => span.error("Unbound variable"), InvalidInputType(_) => "Invalid function input".to_string(), InvalidOutputType(_) => "Invalid function output".to_string(), NotAFunction(_) => "Not a function".to_string(), |