![]() | Description |
|---|---|
A pattern variable assignment is part of a pattern body. It defines the equality of two locally visible variable. |
![]() | Syntax |
|---|---|
PatternVariableAssignmentAST ::= PatternVariableRefAST = PatternVariableRefAST |
![]() | Constraints |
|---|---|
At least one of the variables in the assignment have to appear in the pattern body either as locally defined body element or in a (positive) pattern composition, otherwise a compile-time error is generated. |
Defined In: pattern body