[GHC] #14441: GHC HEAD regression involving type families in kinds
GHC
ghc-devs at haskell.org
Wed Nov 8 02:35:57 UTC 2017
#14441: GHC HEAD regression involving type families in kinds
-------------------------------------+-------------------------------------
Reporter: RyanGlScott | Owner: (none)
Type: bug | Status: new
Priority: high | Milestone: 8.4.1
Component: Compiler | Version: 8.3
Resolution: | Keywords: TypeInType,
| TypeFamilies
Operating System: Unknown/Multiple | Architecture:
Type of failure: GHC rejects | Unknown/Multiple
valid program | Test Case:
Blocked By: | Blocking:
Related Tickets: #13790 | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Changes (by RyanGlScott):
* cc: simonpj (added)
Comment:
This was introduced in commit 74cd1be0b2778ad99566cde085328bde2090294a
(`Don't deeply expand insolubles`).
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14441#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list