One more tiny tiny point: please make it

-prelude-is

and NOT

--prelude-is

so that it matches with -main-is. (Note the number of dashes.)

In general, the anarchy of whether to use one dash or two is annoying, and I think that the parallel with -main-is helps to make the decision easy for this new flag.

Thanks!
Richard

On Jul 15, 2014, at 12:38 PM, Andrew Gibiansky <andrew.gibiansky@gmail.com> wrote:

Good call, David. It probably makes sense for --prelude-is MyPrelude to just act like -XNoImplicitPrelude when in the context

ghc --prelude-is MyPrelude MyPrelude.hs

That way it can be used as a flag in a cabal package that contains the prelude to be used.

I will try to start working on a patch for this in the next couple of weeks :)

-- Andrew


On Tue, Jul 15, 2014 at 9:15 AM, David Thomas <davidleothomas@gmail.com> wrote:
I'd just like to suggest that -prelude-is MyPrelude smartly avoid
breakage when building MyPrelude.hs

On Tue, Jul 15, 2014 at 5:45 AM, Richard Eisenberg <eir@cis.upenn.edu> wrote:
> +1 on original proposal and SPJ's amendment. If this existed today, I would plan to use it the first few weeks when teaching an intro Haskell course this fall.
>
> Thanks!
>
> On Jul 15, 2014, at 5:25 AM, Alexander Berntsen <alexander@plaimi.net> wrote:
>
>> -----BEGIN PGP SIGNED MESSAGE-----
>> Hash: SHA256
>>
>> +1. Sounds great. Agree with SPJ in that you should call it -prelude-is.
>>
>> - --
>> Alexander
>> alexander@plaimi.net
>> https://secure.plaimi.net/~alexander
>> -----BEGIN PGP SIGNATURE-----
>> Version: GnuPG v2.0.22 (GNU/Linux)
>> Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/
>>
>> iF4EAREIAAYFAlPE83wACgkQRtClrXBQc7WaXwD+I/1AdXaYeSCFgzdjWDWE7Xmj
>> WWfV0D2BXSR6XZm7CXYA/jWPxwzNLFX5R7n+dxAPJO5hhAesIp6lkOk0TjB/emua
>> =Fz/U
>> -----END PGP SIGNATURE-----
>> _______________________________________________
>> Haskell-Cafe mailing list
>> Haskell-Cafe@haskell.org
>> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe