Changes
Summary
- Correct check of function parameter patterns and arguments, fixes #762 (commit: 656ece8) (details)
![]() | core/typechecker/src/main/java/org/overture/typechecker/utilities/pattern/AllDefinitionLocator.java |
![]() | core/typechecker/src/main/java/org/overture/typechecker/utilities/pattern/AllDefinitionLocator.java |