diff options
author | Nadrieril | 2020-02-19 17:24:41 +0000 |
---|---|---|
committer | Nadrieril | 2020-02-19 17:24:41 +0000 |
commit | 26ed5a1d4d43573ac8ad2f8de9e4dd411650aa9a (patch) | |
tree | 39c7a0dbc2ae2c0448591f2d91f612d324ae6393 /dhall/src/semantics | |
parent | ce4665bdfcbcb4e34e760acef83bd4de3fbef530 (diff) |
Expose fewer pub things
Diffstat (limited to 'dhall/src/semantics')
-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()) |