diff options
Diffstat (limited to 'src/checker_set.rs')
| -rw-r--r-- | src/checker_set.rs | 29 |
1 files changed, 16 insertions, 13 deletions
diff --git a/src/checker_set.rs b/src/checker_set.rs index a14ac9a..24327cf 100644 --- a/src/checker_set.rs +++ b/src/checker_set.rs @@ -45,7 +45,10 @@ impl CheckerState { fn _check_literal_set_helper(&self, claimed: &Set, should_be: Set) -> Result<(), CheckerError> { if !self.set_equal(claimed, &should_be) { - Err(CheckerError::WrongSetForElement(claimed.clone(), should_be)) + Err(CheckerError::WrongSetForElement { + claimed: claimed.clone(), + real: should_be, + }) } else { Ok(()) } @@ -80,10 +83,10 @@ impl CheckerState { // we have previously done the work to discover the type of // this element, so what we're claiming now must match! if !self.set_equal(set, &lookup.set) { - return Err(CheckerError::WrongSetForElement( - set.clone(), - lookup.set.clone(), - )); + return Err(CheckerError::WrongSetForElement { + claimed: set.clone(), + real: lookup.set.clone(), + }); } Ok(lookup.element.clone()) } @@ -149,10 +152,10 @@ impl CheckerState { // enforce the correct typing of the claimed result if !self.set_equal(set, field_set) { - return Err(CheckerError::WrongSetForElement( - set.clone(), - field_set.clone(), - )); + return Err(CheckerError::WrongSetForElement { + claimed: set.clone(), + real: field_set.clone(), + }); } // enforce the correct typing of the element @@ -185,10 +188,10 @@ impl CheckerState { // enforce the correct typing of the claimed result if !self.set_equal(set, owner_set) { - return Err(CheckerError::WrongSetForElement( - set.clone(), - owner_set.clone(), - )); + return Err(CheckerError::WrongSetForElement { + claimed: set.clone(), + real: owner_set.clone(), + }); } // enforce the correct typing of the element |