diff options
Diffstat (limited to 'language/bytecode.ott')
| -rw-r--r-- | language/bytecode.ott | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/language/bytecode.ott b/language/bytecode.ott index 895ac34b..32b04bb4 100644 --- a/language/bytecode.ott +++ b/language/bytecode.ott @@ -145,7 +145,9 @@ instr :: 'I_' ::= | ctyp id = cval :: :: reinit cdef :: 'CDEF_' ::= - | register id : ctyp :: :: reg_dec + | register id : ctyp = { + instr0 ; ... ; instrn + } :: :: reg_dec | ctype_def :: :: type | let nat ( id0 : ctyp0 , ... , idn : ctypn ) = { instr0 ; ... ; instrm |