#3819: keeping RelaxedPolyRec as optional feature can help spotting infinite
recursion
-------------------------+--------------------------------------------------
Reporter: guest | Owner:
Type: proposal | Status: closed
Priority: normal | Component: Compiler (Type checker)
Version: 6.12.1 | Resolution: fixed
Keywords: | Os: Unknown/Multiple
Testcase: | Architecture: Unknown/Multiple
Failure: None/Unknown |
-------------------------+--------------------------------------------------
Changes (by guest):
* status: new => closed
* resolution: => fixed
Comment:
However ... when I enable RelaxedPolyRec, the error is catched
nevertheless:
{{{
Couldn't match expected type `f a' against inferred type `a1'
...
}}}
I should change the proposal to "keep Haskell statically typed". :-)
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3819#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
