[commit: ghc] master: Wibbles only (1cb3c8c)

git at git.haskell.org git at git.haskell.org
Fri Dec 4 14:21:15 UTC 2015


Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/1cb3c8c2e8bc7d5dd8123f6473ae9b1a6060408b/ghc

>---------------------------------------------------------------

commit 1cb3c8c2e8bc7d5dd8123f6473ae9b1a6060408b
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Fri Dec 4 11:58:05 2015 +0000

    Wibbles only


>---------------------------------------------------------------

1cb3c8c2e8bc7d5dd8123f6473ae9b1a6060408b
 compiler/typecheck/TcBinds.hs | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/compiler/typecheck/TcBinds.hs b/compiler/typecheck/TcBinds.hs
index d171b0c..bf6c833 100644
--- a/compiler/typecheck/TcBinds.hs
+++ b/compiler/typecheck/TcBinds.hs
@@ -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) }



More information about the ghc-commits mailing list