#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 [email protected]
* 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
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
