diff options
Diffstat (limited to 'src/parser2.mly')
| -rw-r--r-- | src/parser2.mly | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/parser2.mly b/src/parser2.mly index 5a4ad667..78724c4d 100644 --- a/src/parser2.mly +++ b/src/parser2.mly @@ -487,6 +487,9 @@ atomic_typ: { mk_typ ATyp_inc $startpos $endpos } | id Lparen typ_list Rparen { mk_typ (ATyp_app ($1, $3)) $startpos $endpos } + | Register Lparen typ Rparen + { let register_id = mk_id (Id "register") $startpos $endpos in + mk_typ (ATyp_app (register_id, [$3])) $startpos $endpos } | Lparen typ Rparen { $2 } | Lparen typ Comma typ_list Rparen |