Re: [GHC] #15796: Core Lint error with invalid newtype declaration

1 Nov 2018

      #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 ):

 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