Ticket #3278 (closed bug: wontfix)

Opened 3 years ago

Last modified 14 months ago

Make lazy unlifted bindings an error

Reported by: igloo Owned by:
Priority: high Milestone: 7.4.1
Component: Compiler (Type checker) Version: 6.11
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Difficulty: Unknown
Test Case: Blocked By:
Blocking: Related Tickets:

Description

Remove Opt_WarnLazyUnliftedBindings, and turn the warnTc into an checkTc.

Remove -Werror from test T2806.

Change History

Changed 20 months ago by igloo

  • failure set to None/Unknown
  • milestone changed from 6.14.1 to 6.16.1

Debian's happy still tickles this warning, so I'm punting on this.

Changed 14 months ago by simonmar

  • status changed from new to closed
  • resolution set to wontfix

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

Tue Nov 16 17:18:43 GMT 2010  simonpj@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
Note: See TracTickets for help on using tickets.