[GHC] #16141: StrictData and TypeFamilies regression

[GHC]

#16141: StrictData and TypeFamilies regression
-------------------------------------+-------------------------------------
        Reporter:  RyanGlScott       |                Owner:  (none)
            Type:  bug               |               Status:  merge
        Priority:  highest           |            Milestone:  8.6.4
       Component:  Compiler (Type    |              Version:  8.6.3
  checker)                           |
      Resolution:  fixed             |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  GHC rejects       |            Test Case:
  valid program                      |  typecheck/should_compile/T16141
      Blocked By:                    |             Blocking:
 Related Tickets:  #16191            |  Differential Rev(s):
       Wiki Page:                    |  https://gitlab.haskell.org/ghc/ghc/merge_requests/88
-------------------------------------+-------------------------------------
Changes (by RyanGlScott):

 * status:  closed => merge
 * related:   => #16191
 * milestone:  8.8.1 => 8.6.4


Comment:

 Given the severity of this bug, and that fact that there have been
 multiple bug reports about this (see #16191 for another one), I'll
 optimistically mark this as a candidate for merging into the upcoming
 8.6.4 release.

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/16141#comment:10>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler