[GHC] #1456: Wrong type being derived

[GHC]

#1456: Wrong type being derived
----------------------------------+-----------------------------------------
    Reporter:  iampure at gmail.com  |        Owner:  simonpj
        Type:  bug                |       Status:  closed 
    Priority:  high               |    Milestone:         
   Component:  Compiler           |      Version:  6.6.1  
    Severity:  major              |   Resolution:  fixed  
    Keywords:                     |   Difficulty:  Unknown
          Os:  Unknown            |     Testcase:         
Architecture:  Unknown            |  
----------------------------------+-----------------------------------------
Changes (by simonpj):

  * resolution:  => fixed
  * status:  new => closed

Comment:

 Good bug, thank you.  Fixed.  There was a rather subtle bug in the way
 'oclose' works when generalising top-level function definitions.  See
 `Note [Important subtlety in oclose]` in `FunDeps` for details.

 Simon

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1456>
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