summaryrefslogtreecommitdiff
path: root/src/parser.mly
diff options
context:
space:
mode:
authorKathy Gray2014-03-07 19:09:52 +0000
committerKathy Gray2014-03-07 19:10:37 +0000
commit5aa26527f071d2ca093455db39e5cd9273f35e95 (patch)
tree89192bb48c59b2875e1cf53b8f0cafa97cd79d02 /src/parser.mly
parent7661dc91a4c62dc3c36357662a9902472e467604 (diff)
Treat registers as values when not being actively read or written to, so that we can have a vector of registers for example.
Also, register types can be explicitly referenced.
Diffstat (limited to 'src/parser.mly')
-rw-r--r--src/parser.mly2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/parser.mly b/src/parser.mly
index 8106df7c..8672704f 100644
--- a/src/parser.mly
+++ b/src/parser.mly
@@ -351,6 +351,8 @@ app_typ:
{ $1 }
| tid Lt app_typs Gt
{ tloc (ATyp_app($1,$3)) }
+ | Register Lt app_typs Gt
+ { tloc (ATyp_app(Id_aux(Id "register", locn 1 1),$3)) }
star_typ_list:
| app_typ