
What does that mean exactly? It sounds a bit like RebindableSyntax,
but I don't see it working that way. With NoImplicitPrelude, I can
locally define things like 'fromInteger' or '>>', but they are not
used in desugaring numeric literals or do notation.
Erik
On Tue, Jan 27, 2015 at 12:26 PM, Augustsson, Lennart
That's very different since it changes how desugaring works. With NoImplicitPrelude desugaring uses unqualified names. It's a rather fragile pragma.
-----Original Message----- From: Erik Hesselink [mailto:hesselink@gmail.com] Sent: 27 January 2015 11:11 To: Augustsson, Lennart Cc: libraries@haskell.org Subject: Re: Drastic Prelude changes imminent
On Tue, Jan 27, 2015 at 11:32 AM, Augustsson, Lennart
wrote: * Add a new pragma {-# LANGUAGE Prelude=AlternativePrelude #-} * Semantics is name-space only: import Prelude (); import AlternativePrelude
I don't have any opinion on the full proposal yet, but I usually use "{-# LANGUAGE NoImplicitPrelude #-}" when using an alternate prelude. Is there any different between that and "import Prelude ()"?
Erik
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/financialmarke... for important information with respect to derivative products.