#2569: Inferred type not accepted by compiler
-------------------------------------+--------------------------------------
Reporter: ajd | Owner:
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler (Type checker) | Version: 6.9
Severity: normal | Resolution: duplicate
Keywords: | Difficulty: Unknown
Testcase: | Architecture: Unknown
Os: Unknown |
-------------------------------------+--------------------------------------
Changes (by simonpj):
* status: new => closed
* difficulty: => Unknown
* resolution: => duplicate
Comment:
Yes, I'm afraid this is a now-celebrated bug. See #1897 and associated
email. The right thing, I think, is to reject the the program, whether or
not you have a signature.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2569#comment:1>
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
