diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-01-25 09:58:53 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-01-25 10:35:29 +0000 |
| commit | 2a2e6a8f703ef2a38cc85bd57ce9e29d2c9f2913 (patch) | |
| tree | e212609ddcb685c4e9dbf0e9f4725438eec23d4d | |
| parent | 076bdb36cf93b453ed08a36224e7d67b15be7162 (diff) | |
| download | haskell-2a2e6a8f703ef2a38cc85bd57ce9e29d2c9f2913.tar.gz | |
Comments only
| -rw-r--r-- | compiler/coreSyn/CoreOpt.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/coreSyn/CoreOpt.hs b/compiler/coreSyn/CoreOpt.hs index 0f35e8f3ac..04e604eb06 100644 --- a/compiler/coreSyn/CoreOpt.hs +++ b/compiler/coreSyn/CoreOpt.hs @@ -968,9 +968,9 @@ pushCoTyArg co ty -- tyR = forall (a2 :: k2). ty2 co1 = mkNthCo 0 co - -- co1 :: k1 ~ k2 - -- Note that NthCo can extract an equality between the kinds - -- of the types related by a coercion between forall-types. + -- co1 :: k1 ~N k2 + -- Note that NthCo can extract a Nominal equality between the + -- kinds of the types related by a coercion between forall-types. -- See the NthCo case in CoreLint. co2 = mkInstCo co (mkCoherenceLeftCo (mkNomReflCo ty) co1) |