diff options
| author | Jon French | 2018-06-11 15:25:02 +0100 |
|---|---|---|
| committer | Jon French | 2018-06-11 15:25:02 +0100 |
| commit | 826e94548a86a88d8fefeb1edef177c02bf5d68d (patch) | |
| tree | fc9a5484440e030cc479101c5cab345c1c77468e /language | |
| parent | 5717bb3d0cef5932cb2b33bc66b3b2f0c0552164 (diff) | |
| parent | 4336409f923c10a8c5e4acc91fa7e6ef5551a88f (diff) | |
Merge branch 'sail2' into mappings
(involved some manual tinkering with gitignore, type_check, riscv)
Diffstat (limited to 'language')
| -rw-r--r-- | language/bytecode.ott | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/language/bytecode.ott b/language/bytecode.ott index d15418a4..704bda83 100644 --- a/language/bytecode.ott +++ b/language/bytecode.ott @@ -59,6 +59,7 @@ fragment :: 'F_' ::= | op fragment :: :: unary | string ( fragment0 , ... , fragmentn ) :: :: call | fragment . string :: :: field + | string :: :: raw % init / clear -> create / kill @@ -104,6 +105,7 @@ clexp :: 'CL_' ::= | id :: :: id | id . string :: :: field | * id :: :: addr + | id -> string :: :: addr_field | current_exception :: :: current_exception | have_exception :: :: have_exception |