summaryrefslogtreecommitdiff
path: root/language
diff options
context:
space:
mode:
authorAlasdair2019-03-18 21:40:34 +0000
committerAlasdair2019-04-01 13:48:18 +0100
commitbee510755ecd32c600a27b9741c18cce1bd2ea4d (patch)
tree59318bbbdc6f96adf2c62b7396d8b7d52994f1f0 /language
parent989c7f8ab0bf908d0cd26b58c542d264c63b72fe (diff)
C: Add identifier to end instruction
Allows us to track the last version of the return variable when the AST in in SSA form.
Diffstat (limited to 'language')
-rw-r--r--language/jib.ott2
1 files changed, 1 insertions, 1 deletions
diff --git a/language/jib.ott b/language/jib.ott
index f0173660..4f8eeacc 100644
--- a/language/jib.ott
+++ b/language/jib.ott
@@ -163,7 +163,7 @@ instr :: 'I_' ::=
| clear ctyp name :: :: clear
| undefined ctyp :: :: undefined
| match_failure :: :: match_failure
- | end :: :: end
+ | end name :: :: end
% All instructions containing nested instructions can be flattened
% away. try and throw only exist for internal use within