Improve subsumption/invariant checking error output #61
Labels
enhancement
New feature or request
invariants
Involves the definition or enforcement of a key system invariant
In #45, we added a basic error reprocessing layer that leveraged the knowledge we have about the schema<>instance relationship to make validation errors messages clearer and contextualized for Thema.
Similar work now needs to be done for error messages coming out of invariant checking.
The text was updated successfully, but these errors were encountered: