diff options
| author | FintanH | 2019-08-12 22:34:21 +0100 |
|---|---|---|
| committer | FintanH | 2019-08-12 22:34:21 +0100 |
| commit | 4a86274878d5ab0ef4f9d8597606226adfd048de (patch) | |
| tree | 68153eb0e4283740f49042e059402da6eaaf551e /dhall/src/error/mod.rs | |
| parent | 405bc3d80c0e169ea74dd12422b9504b7383dab3 (diff) | |
| parent | 7d17d39005531cb77d8eaf32ed7de8938c66f874 (diff) | |
Merge remote-tracking branch 'origin/master' into fintan/canonicalize
Diffstat (limited to 'dhall/src/error/mod.rs')
| -rw-r--r-- | dhall/src/error/mod.rs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/dhall/src/error/mod.rs b/dhall/src/error/mod.rs index aed6ccd..3c00017 100644 --- a/dhall/src/error/mod.rs +++ b/dhall/src/error/mod.rs @@ -68,7 +68,6 @@ pub(crate) enum TypeMessage { MissingRecordField(Label, Typed), MissingUnionField(Label, Normalized), BinOpTypeMismatch(BinOp, Typed), - NoDependentTypes(Normalized, Normalized), InvalidTextInterpolation(Typed), Merge1ArgMustBeRecord(Typed), Merge2ArgMustBeUnion(Typed), @@ -86,7 +85,10 @@ pub(crate) enum TypeMessage { RecordTypeMergeRequiresRecordType(Type), RecordTypeMismatch(Type, Type, Type, Type), UnionTypeDuplicateField, - Unimplemented, + EquivalenceArgumentMustBeTerm(bool, Typed), + EquivalenceTypeMismatch(Typed, Typed), + AssertMismatch(Typed, Typed), + AssertMustTakeEquivalence, } impl TypeError { |