#10134: Pattern Matching Causes Infinite Type Error -------------------------------------+------------------------------------- Reporter: dongen | Owner: Type: bug | Status: new 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: -------------------------------------+------------------------------------- Comment (by dongen): Hi Simon, You must build this with _clash_, which is built on top of ghc. I tried to simplified the example but I couldn't. Still I learnt something. * I removed the need for @CLaSH.Prelude@ and copied a definition for @Vec@ into the @Dummy@ module. I then imported @GHC.TypeLits@ and added lots of pragmas suggested by ghc. After that the module compiled fine. * I then did a bit more inverstigating and found that if I add the pragma @{-# LANGUAGE TypeFamilies #-}@ to the original @Dummy@ module (the one that depends on @CLaSH.Prelude@) solves the problem. Regards, Marc -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10134#comment:9 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler