You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently the variable_type and type_constraint parser rules are shared between the match and define queries. That leads to us requiring to perform extra validation during the construction of define and match query objects. A define query isn't allowed to contain variables, and, conversely, each pattern in a match query must contain a variable.
Proposed Solution
Have separate parser rules for variable-free definitions and variable-bound type constraints. E.g.:
Problem to Solve
Currently the
variable_type
andtype_constraint
parser rules are shared between thematch
anddefine
queries. That leads to us requiring to perform extra validation during the construction of define and match query objects. Adefine
query isn't allowed to contain variables, and, conversely, each pattern in amatch
query must contain a variable.Proposed Solution
Have separate parser rules for variable-free definitions and variable-bound type constraints. E.g.:
The text was updated successfully, but these errors were encountered: