diff options
| author | Alasdair | 2020-01-14 20:42:37 +0000 |
|---|---|---|
| committer | Alasdair | 2020-01-14 21:30:41 +0000 |
| commit | 057d2b05aa474c27f19dc517f38018414aa91dcf (patch) | |
| tree | 609514d773c6455c09db94747e59fb9843c7edf1 /language | |
| parent | 1257411d702a12cde9d1aef5cdd85e18307812d9 (diff) | |
Basic support to track uncaught exceptions in Sail->C
Diffstat (limited to 'language')
| -rw-r--r-- | language/jib.ott | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/language/jib.ott b/language/jib.ott index d5c7f571..8cccac5f 100644 --- a/language/jib.ott +++ b/language/jib.ott @@ -59,6 +59,7 @@ name :: '' ::= | id nat :: :: name | have_exception nat :: :: have_exception | current_exception nat :: :: current_exception + | throw_location nat :: :: throw_location | return nat :: :: return op :: '' ::= |