Comments only

8c1866ad · Simon Peyton Jones · 427f8a15 · 8c1866ad
Commit 8c1866ad authored Oct 02, 2015 by Simon Peyton Jones
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 0 deletions

compiler/typecheck/TcMatches.hs compiler/typecheck/TcMatches.hs +2 -0

No files found.
--- a/compiler/typecheck/TcMatches.hs
+++ b/compiler/typecheck/TcMatches.hs
@@ -890,6 +890,8 @@ tcApplicativeStmts ctxt pairs rhs_ty thing_inside
      ; let fun_ty = mkFunTys pat_tys body_ty

       -- NB. do the <$>,<*> operators first, we don't want type errors here
+       --     i.e. goOps before goArgs
+       -- See Note [Treat rebindable syntax first]
      ; let (ops, args) = unzip pairs
      ; ops' <- goOps fun_ty (zip3 ops (ts ++ [rhs_ty]) exp_tys)