[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