[GHC] #1430: getC: Type signature needed when existential types are used but not in the type signature

[GHC]

#1430: getC: Type signature needed when existential types are used but not in the
type signature
----------------------------------------+-----------------------------------
    Reporter:  igloo                    |        Owner:             
        Type:  bug                      |       Status:  closed     
    Priority:  high                     |    Milestone:  6.8        
   Component:  Compiler (Type checker)  |      Version:  6.6.1      
    Severity:  normal                   |   Resolution:  fixed      
    Keywords:                           |   Difficulty:  Unknown    
          Os:  Unknown                  |     Testcase:  getC, tc228
Architecture:  Unknown                  |  
----------------------------------------+-----------------------------------
Changes (by simonpj):

  * resolution:  => fixed
  * testcase:  getC => getC, tc228
  * status:  new => closed

Comment:

 Good report.  It was a real bug, due to the (fairly new) implication
 constraints.  I think I have fixed it, and I've added a test.

 Simon
 {{{
 Tue Jun 19 17:26:13 BST 2007  simonpj at microsoft.com
   * Fix a bug in the handling of implication constraints (Trac #1430)
 }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1430>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
-------------- next part --------------
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs at haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs