[GHC] #14527: Warn on recursive bindings

[GHC]

#14527: Warn on recursive bindings
-------------------------------------+-------------------------------------
        Reporter:  chrisdone         |                Owner:  (none)
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.2.1
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by goldfire):

 In the levity polymorphism work, there were some annoying interactions
 between the treatment of strict and unlifted bindings and levity
 polymorphism. I don't recall the details, but it was necessary to edit the
 code in this area. As I was doing so, it seemed the code was confused
 around the restrictions on unlifted bindings vs. strict ones. There is no
 need to prevent strict recursive bindings, and so we don't.

 In the end, though, I don't think that disallowing strict recursive
 bindings is the real answer to this need (which I've shared) -- the
 warning route originally proposed would be far better. I agree with Ben
 that posting a proposal is the best next step. If I may be so bold as to
 comment prematurely, I would likely support such a proposal.

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14527#comment:9>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler