summaryrefslogtreecommitdiff
path: root/language/l2.ott
diff options
context:
space:
mode:
Diffstat (limited to 'language/l2.ott')
-rw-r--r--language/l2.ott1
1 files changed, 1 insertions, 0 deletions
diff --git a/language/l2.ott b/language/l2.ott
index 092d7077..ea4a8a6a 100644
--- a/language/l2.ott
+++ b/language/l2.ott
@@ -786,6 +786,7 @@ exp :: 'E_' ::=
% this can be used to break out of for loops
| exit exp :: :: exit
{{ com halt all current execution }}
+ | ref id :: :: ref
| throw exp :: :: throw
| try exp catch pexp1 .. pexpn :: :: try
%, potentially calling a system, trap, or interrupt handler with exp