diff options
| author | Nadrieril | 2020-01-25 10:15:17 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-01-25 10:15:17 +0000 |
| commit | 70e6e3a06c05cfe7d8ca3d6f072e7182639c147f (patch) | |
| tree | 91c8bcfe35b3e99a5332458531a45b58ecfb8be7 /dhall/src/error/mod.rs | |
| parent | b72f0968ac19058b9cc513ab0ed1785133232a3d (diff) | |
Typecheck more cases
Diffstat (limited to 'dhall/src/error/mod.rs')
| -rw-r--r-- | dhall/src/error/mod.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dhall/src/error/mod.rs b/dhall/src/error/mod.rs index 5595c53..850a792 100644 --- a/dhall/src/error/mod.rs +++ b/dhall/src/error/mod.rs @@ -83,6 +83,7 @@ pub(crate) enum TypeMessage { EquivalenceTypeMismatch(Value, Value), AssertMismatch(Value, Value), AssertMustTakeEquivalence, + Custom(String), } impl TypeError { |