[GHC] #1330: Impredicativity bug: Church2 test gives a rather
confusing error with the HEAD
GHC
trac at galois.com
Mon Nov 12 11:35:31 EST 2007
#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
More information about the Glasgow-haskell-bugs
mailing list