Commit 1cca4423 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Comments only

parent 184a569c
......@@ -2943,7 +2943,9 @@ ctFlavourRole (CTyEqCan { cc_ev = ev, cc_eq_rel = eq_rel })
ctFlavourRole (CFunEqCan { cc_ev = ev })
= (ctEvFlavour ev, NomEq)
ctFlavourRole (CHoleCan { cc_ev = ev })
= (ctEvFlavour ev, NomEq)
= (ctEvFlavour ev, NomEq) -- NomEq: CHoleCans can be rewritten by
-- by nominal equalities but empahatically
-- not by representational equalities
ctFlavourRole ct
= ctEvFlavourRole (ctEvidence ct)
......
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