[GHC] #7150: unjustified overlapping instances error

[GHC]

#7150: unjustified overlapping instances error
-------------------------+--------------------------------------------------
    Reporter:  maeder    |       Owner:                           
        Type:  bug       |      Status:  new                      
    Priority:  normal    |   Milestone:                           
   Component:  Compiler  |     Version:  7.6.1-rc1                
    Keywords:            |          Os:  Solaris                  
Architecture:  x86       |     Failure:  GHC rejects valid program
  Difficulty:  Unknown   |    Testcase:                           
   Blockedby:            |    Blocking:                           
     Related:            |  
-------------------------+--------------------------------------------------
Changes (by simonpj):

  * difficulty:  => Unknown


Comment:

 How can I reproduce?  I tried
 {{{
 svn co https://svn-agbkb.informatik.uni-bremen.de/uni/trunk
 }}}
 and got lots of files, but there is no module `HasCASL2IsabelleHOL`.

 Step by step instructions would be great.

 Simon

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