diff options
| author | Thomas Bauereiss | 2017-11-02 13:46:13 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-11-02 13:46:13 +0000 |
| commit | aa35f90fe4e7da4a6bbbe1396c23f9a5795b6909 (patch) | |
| tree | 3c2253799750b91d66dd767e3c4303baf57e63f1 /src/parser2.mly | |
| parent | 9ea44b8b441eb394ffdd85d0b356167002ad7fdd (diff) | |
Fix a few AST and parsing-related bugs
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 |