[GHC] #4310: Deferred equalities and forall types

[GHC]

#4310: Deferred equalities and forall types
---------------------------------+------------------------------------------
    Reporter:  simonpj           |        Owner:  simonpj     
        Type:  bug               |       Status:  new         
    Priority:  normal            |    Milestone:  7.4.1       
   Component:  Compiler          |      Version:  6.12.3      
    Keywords:                    |     Testcase:              
   Blockedby:                    |   Difficulty:              
          Os:  Unknown/Multiple  |     Blocking:              
Architecture:  Unknown/Multiple  |      Failure:  None/Unknown
---------------------------------+------------------------------------------

Comment(by simonpj):

 Dimitrios and I don't think ther is a fundamental difficulty here, but it
 involves some work on the constraint solver that we have not yet done,
 especially concerning the ''evidence'' that is constructed for a proof.

 So it's on the list, but currently not very high priority.  Yell if it's
 important to you.

 Simon

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