Swap prov/req in variable naming in Parser.y
authorSimon Peyton Jones <simonpj@microsoft.com>
Wed, 28 Oct 2015 12:21:50 +0000 (12:21 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 30 Oct 2015 09:45:46 +0000 (09:45 +0000)
This is a follow on to the patch for Trac #10928.
It's a local renaming of variables only; no change in behaviour.

compiler/parser/Parser.y

index 7f8eb59..d9da3c8 100644 (file)
@@ -1168,8 +1168,8 @@ where_decls :: { Located ([AddAnn]
                                           ,sL1 $3 (snd $ unLoc $3)) }
 pattern_synonym_sig :: { LSig RdrName }
         : 'pattern' con '::' ptype
-            {% do { let (flag, qtvs, prov, req, ty) = snd $ unLoc $4
-                  ; let sig = PatSynSig $2 (flag, mkHsQTvs qtvs) prov req ty
+            {% do { let (flag, qtvs, req, prov, ty) = snd $ unLoc $4
+                  ; let sig = PatSynSig $2 (flag, mkHsQTvs qtvs) req prov ty
                   ; ams (sLL $1 $> $ sig)
                         (mj AnnPattern $1:mj AnnDcolon $3:(fst $ unLoc $4)) } }