summaryrefslogtreecommitdiff
path: root/src/parser.mly
diff options
context:
space:
mode:
authorKathy Gray2015-04-08 15:51:54 +0100
committerKathy Gray2015-04-08 15:51:54 +0100
commit531e5469f272e4feeca27f767c550cbbe982da3c (patch)
tree653b66d1d7601b5637ee83df74ead4435a31a866 /src/parser.mly
parent0af8d6df5c183bc50faa39d04e6c312ba5bfb9c1 (diff)
Fixes for power compilation reworking
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 2ae64887..3f8b6db5 100644
--- a/src/parser.mly
+++ b/src/parser.mly
@@ -404,6 +404,8 @@ exp_typ:
{ $1 }
| TwoStarStar atomic_typ
{ tloc (ATyp_exp($2)) }
+ | TwoStarStar Num
+ { tloc (ATyp_exp (tloc (ATyp_constant $2))) }
nexp_typ:
| exp_typ