#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