[GHC] #3819: keeping RelaxedPolyRec as optional feature can help spotting infinite recursion

[GHC]

#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