diff options
| author | Alasdair | 2018-06-30 00:44:48 +0100 |
|---|---|---|
| committer | Alasdair | 2018-07-05 20:23:05 +0100 |
| commit | 53210d77dafb13ba1d84c7fbf2e12ce570a20ad0 (patch) | |
| tree | 038a3628106dc83cc27b90c37218875393f1dbc6 /language/bytecode.ott | |
| parent | 4a0fbe2a1c7e535aacbf53e56a2322b1a97ac2ef (diff) | |
Passes all tests and now builds mips and cheri again
Diffstat (limited to 'language/bytecode.ott')
| -rw-r--r-- | language/bytecode.ott | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/language/bytecode.ott b/language/bytecode.ott index caa94a53..16492716 100644 --- a/language/bytecode.ott +++ b/language/bytecode.ott @@ -126,7 +126,7 @@ instr :: 'I_' ::= | if ( cval ) { instr0 ; ... ; instrn } else { instr0 ; ... ; instrm } : ctyp :: :: if | jump ( cval ) string :: :: jump - | clexp = bool id ( cval0 , ... , cvaln ) : ctyp :: :: funcall + | clexp = bool id ( cval0 , ... , cvaln ) :: :: funcall | clexp = cval :: :: copy | clear ctyp id :: :: clear | return cval :: :: return @@ -137,6 +137,7 @@ instr :: 'I_' ::= | C string :: :: raw % only used for GCC attributes | string : :: :: label | goto string :: :: goto + | undefined ctyp :: :: undefined | match_failure :: :: match_failure % For optimising away allocations. |