[GHC] #7354: Panic with recursion-schemes package and unit

[GHC]

#7354: Panic with recursion-schemes package and unit
-------------------------------+--------------------------------------------
    Reporter:  amplitwist      |       Owner:            
        Type:  bug             |      Status:  new       
    Priority:  normal          |   Milestone:            
   Component:  GHCi            |     Version:  7.6.1     
    Keywords:                  |          Os:  Linux     
Architecture:  x86_64 (amd64)  |     Failure:  GHCi crash
  Difficulty:  Unknown         |    Testcase:            
   Blockedby:                  |    Blocking:            
     Related:                  |  
-------------------------------+--------------------------------------------

Comment(by simonpj):

 In the T/R example from comment 1, we get
 {{{
 R.hs:4:13:
     Couldn't match expected type `Base t t' with actual type `()'
     Relevant bindings include foo :: t (bound at R.hs:4:1)
     In the first argument of `embed', namely `()'
     In the expression: embed ()
     In an equation for `foo': foo = embed ()
 }}}

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