X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcSimplify.lhs;h=f1467ba4548f368e4970c45cb8ddf3b8e68d2c6f;hb=8ddfc3c10a9d08e11812b5564da291d7024d5fc8;hp=b05225f0f0807e95c06c88cd188b6a6c11769301;hpb=36908417be25c8de3bff3a7726984bc8f363a127;p=ghc-hetmet.git diff --git a/ghc/compiler/typecheck/TcSimplify.lhs b/ghc/compiler/typecheck/TcSimplify.lhs index b05225f..f1467ba 100644 --- a/ghc/compiler/typecheck/TcSimplify.lhs +++ b/ghc/compiler/typecheck/TcSimplify.lhs @@ -1223,8 +1223,7 @@ addAmbigErrs ambig_tv_fn dicts = mapNF_Tc (addAmbigErr ambig_tv_fn) dicts addAmbigErr ambig_tv_fn dict = addInstErrTcM (instLoc dict) (tidy_env, - sep [text "Ambiguous type variable(s)" <+> - hsep (punctuate comma (map (quotes . ppr) ambig_tvs)), + sep [text "Ambiguous type variable(s)" <+> pprQuotedList ambig_tvs, nest 4 (text "in the constraint" <+> quotes (pprInst tidy_dict))]) where ambig_tvs = varSetElems (ambig_tv_fn tidy_dict)