[GHC] #3278: Make lazy unlifted bindings an error

[GHC]

#3278: Make lazy unlifted bindings an error
--------------------------------------+-------------------------------------
  Reporter:  igloo                    |          Owner:                  
      Type:  bug                      |         Status:  closed          
  Priority:  high                     |      Milestone:  7.2.1           
 Component:  Compiler (Type checker)  |        Version:  6.11            
Resolution:  wontfix                  |       Keywords:                  
  Testcase:                           |      Blockedby:                  
Difficulty:  Unknown                  |             Os:  Unknown/Multiple
  Blocking:                           |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown             |  
--------------------------------------+-------------------------------------
Changes (by simonmar):

  * status:  new => closed
  * resolution:  => wontfix


Comment:

 We decided not to do this, but we did change the warning slightly:

 {{{
 Tue Nov 16 17:18:43 GMT 2010  simonpj at microsoft.com
   * Warn a bit less often about unlifted bindings.

   Warn when
      (a) a pattern bindings binds unlifted values
      (b) it has no top-level bang
      (c) the RHS has a *lifted* type

   Clause (c) is new, argued for by Simon M

   Eg     x# = 4# + 4#      -- No warning
          (# a,b #) = blah  -- No warning
          I# x = blah       -- Warning

     M ./compiler/hsSyn/HsPat.lhs -2 +22
     M ./compiler/typecheck/TcBinds.lhs -4 +10
 }}}

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