[GHC] #8241: GHCi showing its internals with malformed instance

6 Sep 2013

      #8241: GHCi showing its internals with malformed instance
------------------------------------+-------------------------------------
       Reporter:  crntaylor         |             Owner:
           Type:  bug               |            Status:  new
       Priority:  normal            |         Milestone:
      Component:  Compiler          |           Version:  7.4.2
       Keywords:                    |  Operating System:  Unknown/Multiple
   Architecture:  Unknown/Multiple  |   Type of failure:  None/Unknown
     Difficulty:  Unknown           |         Test Case:
     Blocked By:                    |          Blocking:
Related Tickets:                    |
------------------------------------+-------------------------------------
 Using ghci 7.4.2 I observe the following behaviour when I enter a
 malformed instance for a type class:

     Prelude> instance Eq a => Eq b => Eq (a -> b) where (==) = undefined
     *** Exception: compiler\rename\RnSource.lhs:430:14-81: Irrefutable
 pattern failed for pattern Data.Maybe.Just (inst_tyvars,
                                                             _,
                                                             SrcLoc.L _
 cls,
                                                             _)

 I assume that ghci shouldn't be showing its internals like this?

-- 
Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8241
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler