diff options
| author | Kathy Gray | 2013-12-13 19:59:09 +0000 |
|---|---|---|
| committer | Kathy Gray | 2013-12-13 20:02:54 +0000 |
| commit | 828d5569416aebd6cfff8d42a2efd016c40a986c (patch) | |
| tree | d0f810b3fc9debfbcae811f1d701c8cd51b01bcd /src/parser.mly | |
| parent | 7d368ee6a43f3bcb99b5cb754c52f5246db85618 (diff) | |
Fix effect annotation bug, take 2
Diffstat (limited to 'src/parser.mly')
| -rw-r--r-- | src/parser.mly | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/parser.mly b/src/parser.mly index 010ac76d..10d6cf65 100644 --- a/src/parser.mly +++ b/src/parser.mly @@ -866,6 +866,8 @@ fun_def: { funloc (FD_function(mk_recn (), mk_tannot $2 $3 2 3, mk_eannot $5 5, $6)) } | Function_ typquant typ funcl_ands { funloc (FD_function(mk_recn (), mk_tannot $2 $3 2 2, mk_eannotn (), $4)) } + | Function_ typ Effect effect_typ funcl_ands + { funloc (FD_function(mk_recn (), mk_tannot (mk_typqn ()) $2 2 2, mk_eannot $4 4, $5)) } | Function_ Effect effect_typ funcl_ands { funloc (FD_function(mk_recn (),mk_tannotn (), mk_eannot $3 3, $4)) } | Function_ typ funcl_ands |