Commit 9a04e1c7 authored by Krzysztof Gogolewski's avatar Krzysztof Gogolewski
Browse files


parent 16c40113
......@@ -421,7 +421,7 @@ equality. Example (with same T)
We decide (x::alpha), and generate an implication like
[1]forall a. (Bool ~ alpha[0])
We do NOT unify directly, bur rather float out (if the constraint
does not memtion 'a') to get
does not mention 'a') to get
(Bool ~ alpha[0]) /\ [1]forall a.()
and NOW we can unify alpha.
......@@ -487,7 +487,7 @@ checkInstCoverage be_liberal clas theta inst_taus
(if isSingleton ls
then ptext (sLit "does not")
else ptext (sLit "do not jointly"))
<+> ptext (sLit "deternine rhs type")<>plural rs
<+> ptext (sLit "determine rhs type")<>plural rs
<+> pprQuotedList rs ]
, ppWhen (not be_liberal && liberal_ok) $
ptext (sLit "Using UndecidableInstances might help") ]
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