Comments only
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 2 Oct 2015 07:39:26 +0000 (08:39 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Tue, 6 Oct 2015 08:53:42 +0000 (09:53 +0100)
compiler/typecheck/TcMatches.hs

index ebb7797..70afae4 100644 (file)
@@ -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)