diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-10-23 09:08:16 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2017-10-23 09:08:16 +0100 |
| commit | b10a768786f93d174b1cbc64ae8dae4fe60120bf (patch) | |
| tree | b1aabb90b84fde670105df33fb0d9b62422fcdaa | |
| parent | 052ec24412e285aa34911d6187cc2227fc7d86d9 (diff) | |
| download | haskell-b10a768786f93d174b1cbc64ae8dae4fe60120bf.tar.gz | |
Comments only
| -rw-r--r-- | compiler/typecheck/TcType.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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 |