diff options
Diffstat (limited to 'language/bytecode.ott')
| -rw-r--r-- | language/bytecode.ott | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/language/bytecode.ott b/language/bytecode.ott index e9e6eb77..30c9195f 100644 --- a/language/bytecode.ott +++ b/language/bytecode.ott @@ -32,10 +32,16 @@ metavar bool ::= {{ ocaml bool }} {{ lem bool }} +metavar value ::= + {{ phantom }} + {{ lem vl }} + {{ ocaml vl }} + embed {{ lem open import Ast +open import Value2 }} @@ -45,7 +51,7 @@ grammar % expressions, used by the aval and cval types. fragment :: 'F_' ::= | id :: :: id - | string :: :: lit + | value :: :: lit | have_exception :: :: have_exception | current_exception :: :: current_exception | fragment op fragment' :: :: op |