X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcBinds.lhs;fp=ghc%2Fcompiler%2Ftypecheck%2FTcBinds.lhs;h=021655b50beb1c524e25d40bb0e2cad325e8072d;hb=32d1cd7c071aa551d45ae0b44eb48a82d4a138a2;hp=4107d307ff41dca41e0ebaa3f1f38de5608a9029;hpb=523d16b79ef458ee7a3c9d19896e08d36c2dcbb6;p=ghc-hetmet.git diff --git a/ghc/compiler/typecheck/TcBinds.lhs b/ghc/compiler/typecheck/TcBinds.lhs index 4107d30..021655b 100644 --- a/ghc/compiler/typecheck/TcBinds.lhs +++ b/ghc/compiler/typecheck/TcBinds.lhs @@ -714,7 +714,7 @@ checkDistinctTyVars sig_tvs bomb_out sig_tv1 sig_tv2 = failWithTc (ptext SLIT("Quantified type variable") <+> quotes (ppr tidy_tv1) <+> ptext SLIT("is unified with another quantified type variable") - <+> ppr tidy_tv2) + <+> quotes (ppr tidy_tv2)) where (env1, tidy_tv1) = tidyOpenTyVar emptyTidyEnv sig_tv1 (_env2, tidy_tv2) = tidyOpenTyVar env1 sig_tv2