diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2019-12-13 17:53:38 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2019-12-13 17:53:38 +0000 |
| commit | 3445fe3566f86eda15a14b0cacb44dd949be2db1 (patch) | |
| tree | 04ed84553ae0e61fc5a4c30d4cd42b95876ab582 | |
| parent | 8e78965ce65926556e8a75cbeb79c0e5ca551702 (diff) | |
| download | haskell-3445fe3566f86eda15a14b0cacb44dd949be2db1.tar.gz | |
Comments only
| -rw-r--r-- | compiler/types/TyCoRep.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/types/TyCoRep.hs b/compiler/types/TyCoRep.hs index 00bed9a685..dd65156903 100644 --- a/compiler/types/TyCoRep.hs +++ b/compiler/types/TyCoRep.hs @@ -1124,7 +1124,6 @@ have no coercion variables. Note [Generalized reflexive coercion] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ - GRefl is a generalized reflexive coercion (see #15192). It wraps a kind coercion, which might be reflexive (MRefl) or any coercion (MCo co). The typing rules for GRefl: @@ -1133,7 +1132,8 @@ rules for GRefl: ------------------------------------ GRefl r ty MRefl: ty ~r ty - ty : k1 co :: k1 ~ k2 + k1 : * k2 : * + ty : k1 co :: k1 ~N k2 ------------------------------------ GRefl r ty (MCo co) : ty ~r ty |> co |