#15796: Core Lint error with invalid newtype declaration -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.8.1 Component: Compiler (Type | Version: 8.6.1 checker) | Resolution: | Keywords: TypeFamilies Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash or panic | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by Richard Eisenberg <rae@…>): In [changeset:"1f72a1c81368e34387aac38c0b1c59521cec58ec/ghc" 1f72a1c8/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="1f72a1c81368e34387aac38c0b1c59521cec58ec" Don't lint erroneous programs. newFamInst lints its types. This is good. But it's not so good when there have been errors and thus recovery tycons are about. So we now don't. Fixes #15796. Test case: typecheck/should_fail/T15796 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15796#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler