diff options
| author | Nadrieril | 2020-03-18 21:37:14 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-03-31 21:44:01 +0100 |
| commit | fa89e9cb319b353332c9e835944e7f86a6604c42 (patch) | |
| tree | 669c879e1231ce898dd83c786eb17976a2ba6171 /dhall/src/semantics | |
| parent | 7848c8e8d3147ebe428290558aa6c0efcbf59ee5 (diff) | |
Move Value, SimpleValue and SimpleType to serde
Diffstat (limited to 'dhall/src/semantics')
| -rw-r--r-- | dhall/src/semantics/tck/typecheck.rs | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/dhall/src/semantics/tck/typecheck.rs b/dhall/src/semantics/tck/typecheck.rs index 205185f..c3334b5 100644 --- a/dhall/src/semantics/tck/typecheck.rs +++ b/dhall/src/semantics/tck/typecheck.rs @@ -57,10 +57,7 @@ pub fn mkerr<T, S: ToString>(msg: S) -> Result<T, TypeError> { Err(TypeError::new(TypeMessage::Custom(msg.to_string()))) } -pub fn mk_span_err<T, S: ToString>( - span: Span, - msg: S, -) -> Result<T, TypeError> { +pub fn mk_span_err<T, S: ToString>(span: Span, msg: S) -> Result<T, TypeError> { mkerr( ErrorBuilder::new(msg.to_string()) .span_err(span, msg.to_string()) |