finish the implementation, we don't have motives so this is how it will have to stay

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),