diff options
Diffstat (limited to 'language/bytecode.ott')
| -rw-r--r-- | language/bytecode.ott | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/language/bytecode.ott b/language/bytecode.ott index 6488dd0c..cbc60e52 100644 --- a/language/bytecode.ott +++ b/language/bytecode.ott @@ -105,9 +105,9 @@ cval :: 'CV_' ::= clexp :: 'CL_' ::= | id : ctyp :: :: id - | id . string : ctyp :: :: field - | * id : ctyp :: :: addr - | id -> string : ctyp :: :: addr_field + | clexp . string :: :: field + | * clexp :: :: addr + | clexp . nat :: :: tuple | current_exception : ctyp :: :: current_exception | have_exception :: :: have_exception |