diff options
Diffstat (limited to 'dhall/src/semantics/tck')
-rw-r--r-- | dhall/src/semantics/tck/typecheck.rs | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/dhall/src/semantics/tck/typecheck.rs b/dhall/src/semantics/tck/typecheck.rs index 972326b..319bb9d 100644 --- a/dhall/src/semantics/tck/typecheck.rs +++ b/dhall/src/semantics/tck/typecheck.rs @@ -53,11 +53,14 @@ fn function_check(a: Const, b: Const) -> Const { } } -pub fn mkerr<T, S: ToString>(msg: S) -> Result<T, TypeError> { +pub(crate) 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(crate) 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()) |