add AnnDot annotation to getField calc

compiler/GHC/Parser.y

@@ -2618,20 +2618,18 @@ fexp    :: { ECP }
 
         -- See Note [Whitespace-sensitive operator parsing] in Lexer.x
         | fexp TIGHT_INFIX_PROJ field
-            {% do { ; $1 <- runPV (unECP $1)
-                  -- Suppose lhs is an application term e.g. 'f a' and
-                  -- rhs is '.b'. Usually we want the parse 'f
-                  -- (a.b)' rather than '(f a).b.'. However, if lhs is
-                  -- a projection 'r.a' (say) then we want the parse
-                  -- '(r.a).b'.
-                  ; return . ecpFromExp $ case $1 of
-                      L _ (HsApp _ f arg)
-                        | not $ isGetField f ->
-                           let l = (comb2 arg $3) in
-                           L  (getLoc f `combineSrcSpans` l)
-                             (HsApp noExtField f (mkGetField l arg $3))
-                      _ -> mkGetField (comb2 $1 $>) $1 $3
-            }}
+            {% runPV (unECP $1) >>= \ $1 ->
+               -- Suppose lhs is an application term e.g. 'f a'
+               -- and rhs is '.b'. Usually we want the parse 'f
+               -- (a.b)' rather than '(f a).b.'. However, if lhs
+               -- is a projection 'r.a' (say) then we want the
+               -- parse '(r.a).b'.
+               fmap ecpFromExp $ ams (case $1 of
+                   L _ (HsApp _ f arg) | not $ isGetField f ->
+                     let l = comb2 arg $3 in
+                     L (getLoc f `combineSrcSpans` l)
+                       (HsApp noExtField f (mkGetField l arg $3))
+                   _ -> mkGetField (comb2 $1 $>) $1 $3) [mj AnnDot $2] }
 
         | aexp                       { $1 }