Skip to content

Commit fd3034a

Browse files
authored
Update urgency and clarity in RAP15.md
Revised urgency description and clarified issues related to non-linear matching.
1 parent 94c68e8 commit fd3034a

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

  • courses/RascalAmendmentProposals/RAP15

courses/RascalAmendmentProposals/RAP15/RAP15.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -49,12 +49,12 @@ This RAP solves *a number of issues* in the design of Rascal’s syntax and sema
4949
* **When-clauses are not allowed for functions with statement blocks as bodies**
5050
* Randomized input for tests has to be filtered inside of tests code block, often returning `true` when the test input is invalid (and wasting opportunity for the valid inputs).
5151

52-
The urgency of this RAP is *low*. However, the non-linear matching issue has **waited for more than 10 years now** and it is still a weekly cause of time loss debugging this trivial issue in new code. The type-checker warns about non-linear matches with an info message; which helps while writing new code, but it is a frequent source of false positives in the code that is left.
52+
The urgency of this RAP is *low*. However, it is still a cause of time loss through debugging. The type-checker warns about non-linear matches with an info message; which helps while writing new code, but it is a frequent source of false positives in the code that is left.
5353

5454
There are other ways to solve the nonlinear matching problem than to rename a variable. For example by introducing specific syntax for equality testing in the Pattern notation.
5555

5656
The benefit of the currently proposed new notation is that it fixes the non-linear matching problem but also other problems with “when” and with random tests.
57-
**It would be less nice if we have to add conditional patterns anyway and have added yet another syntax for non-linear matching.**
57+
It would be less nice if we have to add conditional patterns anyway and have added yet another syntax for non-linear matching.
5858

5959
## Specification
6060

0 commit comments

Comments
 (0)