Commit 32d1cd7c authored by simonpj's avatar simonpj
Browse files

[project @ 2005-04-15 14:26:39 by simonpj]

Be consistent about quotes in error messages; MERGE TO STABLE
parent 523d16b7
......@@ -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))
(env1, tidy_tv1) = tidyOpenTyVar emptyTidyEnv sig_tv1
(_env2, tidy_tv2) = tidyOpenTyVar env1 sig_tv2
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment