diff options
| author | Alasdair Armstrong | 2018-03-23 16:14:06 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-03-23 16:14:06 +0000 |
| commit | 541a95d81e05afdfdadb34ad76da850c212535ec (patch) | |
| tree | 68ea43549ad4187505c22aa790e85c248840c877 /language/bytecode.ott | |
| parent | d94175a2204434bc095fdd06167a9ba9997cbaef (diff) | |
Fix build issue
Diffstat (limited to 'language/bytecode.ott')
| -rw-r--r-- | language/bytecode.ott | 36 |
1 files changed, 18 insertions, 18 deletions
diff --git a/language/bytecode.ott b/language/bytecode.ott index 5977aae2..d15418a4 100644 --- a/language/bytecode.ott +++ b/language/bytecode.ott @@ -119,25 +119,25 @@ iannot :: 'IA_' ::= instr :: 'I_' ::= {{ aux _ iannot }} - | ctyp id :: :: decl - | alloc ctyp id :: :: alloc - | ctyp id = cval :: :: init + | ctyp id :: :: decl + | alloc ctyp id :: :: alloc + | ctyp id = cval :: :: init | if ( cval ) { instr0 ; ... ; instrn } - else { instr0 ; ... ; instrm } : ctyp :: :: if - | jump ( cval ) string :: :: jump - | clexp = id ( cval0 , ... , cvaln ) : ctyp :: :: funcall - | clexp = cval :: :: copy - | clexp = ( ctyp ) id : ctyp' :: :: convert - | clear ctyp id :: :: clear - | return cval :: :: return - | { instr0 ; ... ; instrn } :: :: block - | try { instr0 ; ... ; instrn } :: :: try_block - | throw cval :: :: throw - | '//' string :: :: comment - | C string :: :: raw % only used for GCC attributes - | string : :: :: label - | goto string :: :: goto - | match_failure :: :: match_failure + else { instr0 ; ... ; instrm } : ctyp :: :: if + | jump ( cval ) string :: :: jump + | clexp = bool id ( cval0 , ... , cvaln ) : ctyp :: :: funcall + | clexp = cval :: :: copy + | clexp = ( ctyp ) id : ctyp' :: :: convert + | clear ctyp id :: :: clear + | return cval :: :: return + | { instr0 ; ... ; instrn } :: :: block + | try { instr0 ; ... ; instrn } :: :: try_block + | throw cval :: :: throw + | '//' string :: :: comment + | C string :: :: raw % only used for GCC attributes + | string : :: :: label + | goto string :: :: goto + | match_failure :: :: match_failure % For optimising away allocations. | reset ctyp id :: :: reset |