Commit 7f5d5603 authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu

Very confusing typo in error message.

parent bb740218
......@@ -165,7 +165,7 @@ solveSimpleWanteds simples
| n `intGtLimit` limit
= failTcS (hang (text "solveSimpleWanteds: too many iterations"
<+> parens (text "limit =" <+> ppr limit))
2 (vcat [ text "Set limit with -fsolver-iterations=n; n=0 for no limit"
2 (vcat [ text "Set limit with -fconstraint-solver-iterations=n; n=0 for no limit"
, text "Simples =" <+> ppr simples
, text "WC =" <+> ppr wc ]))
......
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