Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
error messages on named parameters and unnamed parameters #235
When you write a rule you could not mix named and unnamed parameters. That would be clear if the error message would indicate that mixing named and unnamed should not be done.
The mixed setup does not work and gives the error,
while naming the parameters work without any problems
Steps to reproduce the problem