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

[GHC]

#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 simonpj):

 But `clash-0.1.3.11` does not include a module called `CLaSH.Prelude`.

 You say "You must build this with _clash_, which is built on top of ghc".
 Can you give a sequence of steps to achieve that?

 From what I can see clash has a huge dependency list
 {{{
   build-depends:    ghc                     >= 6.12    && < 6.13,
                     pretty                  >= 1.0.1.1 && < 1.1,
                     vhdl                    >= 0.1.2.1 && < 0.2,
                     haskell98               >= 1.0.1.1 && < 1.1,
                     data-accessor           >= 0.2.1.3 && < 2.3,
                     containers              >= 0.3     && < 0.4,
                     base                    >= 4.2     && < 4.3,
                     transformers            >= 0.2     && < 0.3,
                     filepath                >= 1.1.0.4 && < 1.2,
                     template-haskell        >= 2.4.0.1 && < 2.5,
                     data-accessor-template  >= 0.2.1.8 && < 0.3,
                     prettyclass             >= 1.0     && < 1.1,
                     directory               >= 1.0     && < 1.1,
                     tfp                     >= 0.2     && < 0.4,
                     th-lift                 >= 0.5.4   && < 0.6,
                     time                    >= 1.1.4   && < 1.2,
                     utility-ht              < 0.0.7
 }}}
 I'm having a hard time believing that installing vhdl (which sounds like a
 big deal) is crucial to demonstrating the problem.

 Maybe instead of copying the definition for `Vec` into `Dummy`, make a
 separate module `Clash.Stubs`, and populate it with the stuff that `Dummy`
 needs?

 Simon

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