Drastic Prelude changes imminent

Erik Hesselink hesselink at gmail.com
Tue Jan 27 12:00:36 UTC 2015


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
<Lennart.Augustsson at sc.com> wrote:
> 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 at gmail.com]
> Sent: 27 January 2015 11:11
> To: Augustsson, Lennart
> Cc: libraries at haskell.org
> Subject: Re: Drastic Prelude changes imminent
>
> On Tue, Jan 27, 2015 at 11:32 AM, Augustsson, Lennart <Lennart.Augustsson at sc.com> 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/financialmarkets/Pages/doddfrankdisclosures.aspx  for important information with respect to derivative products.


More information about the Libraries mailing list