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

[Richard Eisenberg]

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 at 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 at 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 at 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 at 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 at 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 at haskell.org
> >> http://www.haskell.org/mailman/listinfo/haskell-cafe
> >
> > _______________________________________________
> > Haskell-Cafe mailing list
> > Haskell-Cafe at haskell.org
> > http://www.haskell.org/mailman/listinfo/haskell-cafe
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
> 
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140715/77e09334/attachment.html>