Commit 9b3a0588 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Swap prov/req in variable naming in Parser.y

This is a follow on to the patch for Trac #10928.
It's a local renaming of variables only; no change in behaviour.
parent 8ddf4174
...@@ -1168,8 +1168,8 @@ where_decls :: { Located ([AddAnn] ...@@ -1168,8 +1168,8 @@ where_decls :: { Located ([AddAnn]
,sL1 $3 (snd $ unLoc $3)) } ,sL1 $3 (snd $ unLoc $3)) }
pattern_synonym_sig :: { LSig RdrName } pattern_synonym_sig :: { LSig RdrName }
: 'pattern' con '::' ptype : 'pattern' con '::' ptype
{% do { let (flag, qtvs, prov, req, ty) = snd $ unLoc $4 {% do { let (flag, qtvs, req, prov, ty) = snd $ unLoc $4
; let sig = PatSynSig $2 (flag, mkHsQTvs qtvs) prov req ty ; let sig = PatSynSig $2 (flag, mkHsQTvs qtvs) req prov ty
; ams (sLL $1 $> $ sig) ; ams (sLL $1 $> $ sig)
(mj AnnPattern $1:mj AnnDcolon $3:(fst $ unLoc $4)) } } (mj AnnPattern $1:mj AnnDcolon $3:(fst $ unLoc $4)) } }
......
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