Commit b10a7687 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Comments only

parent 052ec244
......@@ -936,9 +936,9 @@ anyRewritableTyVar ignore_cos role pred ty
go_tc ReprEq bvs tc tys = foldr ((&&) . go_arg bvs) False $
(tyConRolesRepresentational tc `zip` tys)
go_arg _ (Phantom, _) = False -- ToDo: check
go_arg bvs (Nominal, ty) = go NomEq bvs ty
go_arg bvs (Representational, ty) = go ReprEq bvs ty
go_arg _ (Phantom, _) = False -- We never rewrite with phantoms
go_co rl bvs co
| ignore_cos = False
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