Wibbles only
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 4 Dec 2015 11:58:05 +0000 (11:58 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 4 Dec 2015 14:21:30 +0000 (14:21 +0000)
compiler/typecheck/TcBinds.hs

index d171b0c..bf6c833 100644 (file)
@@ -757,11 +757,11 @@ mkInferredPolyId qtvs inferred_theta poly_name mb_sig mono_ty
                                 inferred_theta (tyVarsOfType mono_ty') mb_sig
 
        ; let qtvs' = filter (`elemVarSet` my_tvs) qtvs   -- Maintain original order
-       ; let inferred_poly_ty = mkSigmaTy qtvs' theta' mono_ty'
-             msg = mk_inf_msg poly_name inferred_poly_ty
+             inferred_poly_ty = mkSigmaTy qtvs' theta' mono_ty'
 
-       ; traceTc "mkInferredPolyId" (vcat [ppr poly_name, ppr qtvs, ppr my_tvs, ppr theta', ppr inferred_poly_ty])
-       ; addErrCtxtM msg $
+       ; traceTc "mkInferredPolyId" (vcat [ppr poly_name, ppr qtvs, ppr my_tvs, ppr theta'
+                                          , ppr inferred_poly_ty])
+       ; addErrCtxtM (mk_inf_msg poly_name inferred_poly_ty) $
          checkValidType (InfSigCtxt poly_name) inferred_poly_ty
 
        ; return (mkLocalId poly_name inferred_poly_ty) }