#14131: Difference between newtype and newtype instance -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: RyanGlScott Type: bug | Status: patch Priority: normal | Milestone: Component: Compiler | Version: 8.2.1 Resolution: | Keywords: TypeFamilies Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #7938, #9574, | Differential Rev(s): Phab:D3872 #13985 | Wiki Page: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * owner: (none) => RyanGlScott Comment: The refactoring suggested in comment:9 sounds good to me. But perhaps I should first do this refactoring in a separate commit, since doing all of this datatype reshuffling and fixing the bugs in #14131 and #13985 simultaneously might be a touch too much. Replying to [comment:9 simonpj]:
We still need the typechecker test for comment:8.
Phab:D3872 has this in the form of the `testsuite/tests/polykinds/T13985.hs` test.
Finally: we need user-manual comments to explain what's accepted and what is rejected.
Phab:D3872 has this already. Done. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14131#comment:10 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler