Re: [Haskell-cafe] Feature Proposal: GHC Flag for implicit external Prelude

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 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 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 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 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