<div dir="ltr"><div><div>Good call, David. It probably makes sense for --prelude-is MyPrelude to just act like -XNoImplicitPrelude when in the context<br><br>ghc --prelude-is MyPrelude MyPrelude.hs<br><br>That way it can be used as a flag in a cabal package that contains the prelude to be used.<br>

<br></div>I will try to start working on a patch for this in the next couple of weeks :)<br><br></div>-- Andrew<br></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Jul 15, 2014 at 9:15 AM, David Thomas <span dir="ltr"><<a href="mailto:davidleothomas@gmail.com" target="_blank">davidleothomas@gmail.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I'd just like to suggest that -prelude-is MyPrelude smartly avoid<br>
breakage when building MyPrelude.hs<br>
<div class="HOEnZb"><div class="h5"><br>
On Tue, Jul 15, 2014 at 5:45 AM, Richard Eisenberg <<a href="mailto:eir@cis.upenn.edu">eir@cis.upenn.edu</a>> wrote:<br>
> +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.<br>
><br>
> Thanks!<br>
><br>
> On Jul 15, 2014, at 5:25 AM, Alexander Berntsen <<a href="mailto:alexander@plaimi.net">alexander@plaimi.net</a>> wrote:<br>
><br>
>> -----BEGIN PGP SIGNED MESSAGE-----<br>
>> Hash: SHA256<br>
>><br>
>> +1. Sounds great. Agree with SPJ in that you should call it -prelude-is.<br>
>><br>
>> - --<br>
>> Alexander<br>
>> <a href="mailto:alexander@plaimi.net">alexander@plaimi.net</a><br>
>> <a href="https://secure.plaimi.net/~alexander" target="_blank">https://secure.plaimi.net/~alexander</a><br>
>> -----BEGIN PGP SIGNATURE-----<br>
>> Version: GnuPG v2.0.22 (GNU/Linux)<br>
>> Comment: Using GnuPG with Thunderbird - <a href="http://www.enigmail.net/" target="_blank">http://www.enigmail.net/</a><br>
>><br>
>> iF4EAREIAAYFAlPE83wACgkQRtClrXBQc7WaXwD+I/1AdXaYeSCFgzdjWDWE7Xmj<br>
>> WWfV0D2BXSR6XZm7CXYA/jWPxwzNLFX5R7n+dxAPJO5hhAesIp6lkOk0TjB/emua<br>
>> =Fz/U<br>
>> -----END PGP SIGNATURE-----<br>
>> _______________________________________________<br>
>> Haskell-Cafe mailing list<br>
>> <a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
>> <a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
><br>
> _______________________________________________<br>
> Haskell-Cafe mailing list<br>
> <a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
> <a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br></div>