From b10a768786f93d174b1cbc64ae8dae4fe60120bf Mon Sep 17 00:00:00 2001 From: Simon Peyton Jones Date: Mon, 23 Oct 2017 09:08:16 +0100 Subject: Comments only --- compiler/typecheck/TcType.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/typecheck/TcType.hs b/compiler/typecheck/TcType.hs index 7b27ce132d..75e021512d 100644 --- a/compiler/typecheck/TcType.hs +++ b/compiler/typecheck/TcType.hs @@ -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 -- cgit v1.2.1