diff options
| author | Nadrieril | 2020-02-09 21:38:37 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-02-09 21:38:37 +0000 |
| commit | a709c65eb28f1b6a666f15bfc2255da7bc7105ab (patch) | |
| tree | 547aa7da265a308c8e96954c5eb31602bf06ad9a /dhall/src/semantics/tck/typecheck.rs | |
| parent | 5c342a5688fe7a4bb337ce0622968226d524022e (diff) | |
Resolve variables alongside import resolution
Diffstat (limited to '')
| -rw-r--r-- | dhall/src/semantics/tck/typecheck.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/semantics/tck/typecheck.rs b/dhall/src/semantics/tck/typecheck.rs index 5b233f8..eb6a58c 100644 --- a/dhall/src/semantics/tck/typecheck.rs +++ b/dhall/src/semantics/tck/typecheck.rs @@ -43,7 +43,7 @@ fn function_check(a: Const, b: Const) -> Const { } } -fn mkerr<T, S: ToString>(x: S) -> Result<T, TypeError> { +pub fn mkerr<T, S: ToString>(x: S) -> Result<T, TypeError> { Err(TypeError::new(TypeMessage::Custom(x.to_string()))) } |