#8022: Outdated documentation for the -fwarn-lazy-unlifted-bindings warning -------------------------------------+------------------------------------ Reporter: asr | Owner: thoughtpolice Type: bug | Status: new Priority: highest | Milestone: 7.8.1 Component: Documentation | Version: 7.6.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by simonpj): No, the warning looks right to me. As I understand it, we have {{{ data Happy_IntList = HappyCons Int# Happy_IntList ... f x = ...blah... where HappyCons p q = ...blah... }}} The warning is about the unlifted `(p::Int#)` in a pattern binding for a lifted type `Happy_IntList`. It's exactly like the third of your examples above {{{ I# x = blah -- Warning }}} So it looks to me as if GHC is generating a warning as advertised, and Happy is generating code that trips that warning. No? Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8022#comment:11 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler