[GHC] #10134: Pattern Matching Causes Infinite Type Error

[GHC]

#10134: Pattern Matching Causes Infinite Type Error
-------------------------------------+-------------------------------------
        Reporter:  dongen            |                   Owner:
            Type:  bug               |                  Status:  infoneeded
        Priority:  normal            |               Milestone:
       Component:  Compiler          |                 Version:  7.8.4
      Resolution:                    |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
 Type of failure:  None/Unknown      |  Unknown/Multiple
      Blocked By:                    |               Test Case:
 Related Tickets:                    |                Blocking:
                                     |  Differential Revisions:
-------------------------------------+-------------------------------------
Changes (by rwbarton):

 * status:  new => infoneeded


Comment:

 Presumably, if this is a GHC issue and not a clash issue (okay, seems
 likely!) then there is some input file that clash provides to ghc which
 would exhibit this behavior. dongen, since you are the one who knows about
 clash, could you extract this file?

 Or, if clash is instead a GHC API consumer, then it may require more clash
 expertise to figure out exactly what input is being provided to GHC.

 Probably all it takes is extracting the definitions of all those type
 families from wherever they are defined by clash; but in any case we need
 a test case for GHC, and you as the clash user are best situated to
 provide it.

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