diff options
| author | Alasdair Armstrong | 2017-12-05 20:00:26 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-12-05 20:00:26 +0000 |
| commit | 44e9396fa90ab68ee4c8d9674c6bbad6fc851c6d (patch) | |
| tree | 9d70ccdadfca9ecf0422ee4919b2729b03f42414 /src/parser2.mly | |
| parent | 680a5b9dc1db936536c6603aed065ccbd8eabeb5 (diff) | |
Better support for exceptions in sail for ASL specs that need them.
Diffstat (limited to 'src/parser2.mly')
| -rw-r--r-- | src/parser2.mly | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/parser2.mly b/src/parser2.mly index 6ab070b7..21959cf5 100644 --- a/src/parser2.mly +++ b/src/parser2.mly @@ -1021,6 +1021,8 @@ type_def: { mk_td (TD_enum ($2, mk_namesectn, $4, false)) $startpos $endpos } | Enum id Eq Lcurly enum Rcurly { mk_td (TD_enum ($2, mk_namesectn, $5, false)) $startpos $endpos } + | Union id Eq Lcurly type_unions Rcurly + { mk_td (TD_variant ($2, mk_namesectn, TypQ_aux (TypQ_tq [], loc $endpos($2) $startpos($3)), $5, false)) $startpos $endpos } | Union id typquant Eq Lcurly type_unions Rcurly { mk_td (TD_variant ($2, mk_namesectn, $3, $6, false)) $startpos $endpos } |