Skip to content

Commit 18fe833

Browse files
committed
Added a conclusion
1 parent 04da979 commit 18fe833

File tree

1 file changed

+2
-1
lines changed
  • courses/RascalAmendmentProposals/RAP16

1 file changed

+2
-1
lines changed

courses/RascalAmendmentProposals/RAP16/RAP16.md

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -102,9 +102,10 @@ What should we do when erroneous access to subtrees is detected in the body of a
102102

103103
On the one hand the automatic skipping is probably what the user intends to do. On the other hand, this would be the first case in which backtracking kicks in without a failing match or an explicit fail statement. Also, side effects in the body of the construct that is already executed before the erroneous access occurs will be visible. This could get confusing for the user.
104104

105-
**Conclusion:**
106105
We opted for the first option because transparently catching exceptions can cause too much confusion.
107106

107+
**Conclusion:**
108+
When erroneous access to subtrees is detected in the body of a backtracking construct, the exception will be propagated normally.
108109
It is up to the programmer to handle these exceptions at the appropriate level.
109110
A framework like TypePal can assist by providing suitable default handling where appropriate.
110111

0 commit comments

Comments
 (0)