Commit 7dda0a91 authored by Andrei Paskevich's avatar Andrei Paskevich

WhyML: underscores in result are allowed, for real this time

parent 0ffeb3d4
This diff is collapsed.
...@@ -1066,6 +1066,8 @@ ret_ident: ...@@ -1066,6 +1066,8 @@ ret_ident:
| id = attrs(lident_nq) | id = attrs(lident_nq)
{ let ats = ATstr Dterm.attr_w_unused_var_no :: id.id_ats in { let ats = ATstr Dterm.attr_w_unused_var_no :: id.id_ats in
mk_pat (Pvar ({id with id_ats = ats}, false)) $startpos $endpos } mk_pat (Pvar ({id with id_ats = ats}, false)) $startpos $endpos }
| UNDERSCORE
{ mk_pat Pwild $startpos $endpos }
return: return:
| ty { $1, Ity.MaskVisible } | ty { $1, Ity.MaskVisible }
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment