diff options
Diffstat (limited to 'compiler/types/TyCon.hs')
| -rw-r--r-- | compiler/types/TyCon.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/types/TyCon.hs b/compiler/types/TyCon.hs index 0a02adf0b6..d5347fc534 100644 --- a/compiler/types/TyCon.hs +++ b/compiler/types/TyCon.hs @@ -1172,6 +1172,9 @@ so the coercion tycon CoT must have kind: T ~ [] and arity: 0 +This eta-reduction is implemented in BuildTyCl.mkNewTyConRhs. + + ************************************************************************ * * TyConRepName |