diff options
Diffstat (limited to 'src/checker_state.rs')
| -rw-r--r-- | src/checker_state.rs | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/checker_state.rs b/src/checker_state.rs index 77abbdd..42f5089 100644 --- a/src/checker_state.rs +++ b/src/checker_state.rs @@ -19,6 +19,9 @@ pub enum CheckerError { #[display("The following functionality is unimplemented: {_0}")] Unimplemented(String), + #[display("The set contains dulplicate fiels: {_0}")] + DuplicateFieldsSet(Set), + #[display("Element {value} claimed to belong to {claimed} but actually belongs to {real}")] WrongSetForElement { value: ElementValue, @@ -33,9 +36,15 @@ pub enum CheckerError { reason: String, }, + #[display("Record construction involves incosistent field choice {_0}")] + ElementInconsistentFieldChoice(Element), + #[display("Case analysis {_0} does not have consistent set for scrutinee")] ElementInconsistentCaseScrutineeSet(Element), + #[display("The signature contains dulplicate fiels: {_0}")] + DuplicateFieldsSignature(Signature), + #[display("Case analysis {_0} does not have consistent set for scrutinee")] InstanceInconsistentCaseScrutineeSet(Instance), |