#1330: Impredicativity bug: Church2 test gives a rather confusing error with the
HEAD
-------------------------------------+--------------------------------------
Reporter: igloo | Owner: simonpj
Type: bug | Status: new
Priority: normal | Milestone: 6.10 branch
Component: Compiler (Type checker) | Version: 6.7
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: Church2 | Architecture: Unknown
Os: Unknown |
-------------------------------------+--------------------------------------
Changes (by simonpj):
* milestone: 6.8 branch => 6.10 branch
Comment:
Again deferring to 6.10 when I hope we'll have sorted out impredicativity.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1330#comment:5>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
