I've updated the Wiki page (https://ghc.haskell.org/trac/ghc/wiki/BurningBridgesSlowly)

with what I think would be a sensible course of actions:

 

Simon Marlow rightly points out that adding a new LANGUAGE pragma is full of backwards compatibility problems.

So, here's a different plan how to introduce BBP.

 

* Leave Data.List type signatures and exports alone.

* Make ghc 7.10 warn when Data.List has been imported in a way that will break with BBP.

* No changes to Prelude signatures, but ship ghc 7.10 with PreludeBBP (which uses Foldable).

* Make PreludeBBP the default in ghc 7.12 (or later).

 

This will give us time to discuss exactly what should go into Foldable.

 

The signature changes in Control.Monad and other modules are unrelated to BBP and should be in ghc 7.10.

 

The ghc warning for importing Data.List should be as helpful as possible, something like:

Foo:5:1  Warning: Data.List imported unqualified, this will conflict with BBP.

         Instead use 'import Data.List(maximumBy, sortBy)'

 

 


This email and any attachments are confidential and may also be privileged. If you are not the intended recipient, please delete all copies and notify the sender immediately. You may wish to refer to the incorporation details of Standard Chartered PLC, Standard Chartered Bank and their subsidiaries at
http://www.standardchartered.com/en/incorporation-details.html

Insofar as this communication contains any market commentary, the market commentary has been prepared by a sales and/or trading desk of Standard Chartered Bank or its affiliate. It is not and does not constitute research material, independent research, recommendation or financial advice. Any market commentary is for information purpose only and shall not be relied for any other purpose, and is subject to the relevant disclaimers available at http://wholesalebanking.standardchartered.com/en/utility/Pages/d-mkt.aspx.

Please visit http://wholesalebanking.standardchartered.com/en/capabilities/financialmarkets/Pages/doddfrankdisclosures.aspx for important information with respect to derivative products.