Translate Constructor Patterns
Currently instead of creating an Verify.Data.AST.Pattern node error is called here.
As there currently is no Constructor for Patterns of Constructors the AST will need to be extended and the corresponding place handling said patterns in z3-transformer.
-
Add Constructor Pattern Constructor to Pattern type. -
Handle Constructor Pattern Constructor in z3-transformer -
Replace error call and create Pattern node instead