Re: [GHC] #7175: Panic when wrongly using a type family as return types for GADTs

11 Sep 2015

      #7175: Panic when wrongly using a type family as return types for GADTs
-------------------------------------+-------------------------------------
        Reporter:  goldfire          |         Owner:
            Type:  bug               |        Status:  closed
        Priority:  normal            |     Milestone:  7.6.1
       Component:  Compiler          |       Version:  7.6.1-rc1
      Resolution:  fixed             |      Keywords:
Operating System:  Unknown/Multiple  |  Architecture:  Unknown/Multiple
 Type of failure:  Compile-time      |     Test Case:
  crash                              |  typecheck/should_fail/T7175
      Blocked By:                    |      Blocking:
 Related Tickets:                    |
-------------------------------------+-------------------------------------

Comment (by Simon Peyton Jones ):

 In [changeset:"a870738a3b34d264c63656783e84168a230d7da4/ghc" a870738/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="a870738a3b34d264c63656783e84168a230d7da4"
 Improve rejigConRes (again)

 I think this patch finally works around the delicacy in the strictness
 of TcTyClsDecls.rejigConRes.   See the notes with that function and
 Note [Checking GADT return types].

 As a result, we fix Trac #10836, and improve Trac #7175
 }}}

--
Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/7175#comment:4
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler