<div dir="ltr">as a guideline what you say is true, and at least in this case as the motivation is user focused it should be validated thusly :) </div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, May 19, 2017 at 5:35 PM, Mario Blažević <span dir="ltr"><<a href="mailto:mblazevic@stilo.com" target="_blank">mblazevic@stilo.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 2017-05-16 10:18 AM, Joachim Breitner wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hi,<br>
<br>
a very small proposal to be considered for Haskell':<br>
</blockquote>
<br></span>
I like it, but it should probably be a GHC proposal first. I don't think Haskell' is supposed to make any change to the standard that hasn't been already implemented and tested. In this particular case, GHC HQ might opt to implement your proposal but hide it behind a command-line option, or to enable it by default only in GHCi. There are already precedents for this.<br>
<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">
<br>
Currently, the report states<br>
<br>
An abbreviated form of module, consisting only of the module body,<br>
is permitted. If this is used, the header is assumed to be ‘module<br>
Main(main) where’.<br>
<br>
I propose to change that to<br>
<br>
An abbreviated form of module, consisting only of the module body,<br>
is permitted. If this is used, the header is assumed to be ‘module<br>
Main where’.<br>
<br>
The rationale is that a main-less main module is still useful, e.g.<br>
when you are working a lot in GHCi, and offload a few extensions to a<br>
separate file. Currently, tools like hdevtools will complain about a<br>
missing main function when editing such a file.<br>
<br>
It would also work better with GHC’s -main-is flag, and avoid problems<br>
like the one described in <a href="https://ghc.haskell.org/trac/ghc/ticket/13704" rel="noreferrer" target="_blank">https://ghc.haskell.org/trac/g<wbr>hc/ticket/13704</a><br>
<br>
<br>
I don’t see any downsides. When compiling to a binary, implementations<br>
are still able to detect that a Main module is not imported by any<br>
other module and only the main function is used, and optimize as if<br>
only main were exported.<br>
<br>
Greetings,<br>
Joachim<br>
<br>
<br>
<br>
<br>
<br></span><span class="">
______________________________<wbr>_________________<br>
Haskell-prime mailing list<br>
<a href="mailto:Haskell-prime@haskell.org" target="_blank">Haskell-prime@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bi<wbr>n/mailman/listinfo/haskell-pri<wbr>me</a><br>
<br>
</span></blockquote><span class="HOEnZb"><font color="#888888">
<br>
<br>
-- <br>
Mario Blazevic<br>
<a href="mailto:mblazevic@stilo.com" target="_blank">mblazevic@stilo.com</a><br>
Stilo International<br>
<br>
This message, including any attachments, is for the sole use of the<br>
intended recipient(s) and may contain confidential and privileged<br>
information. Any unauthorized review, use, disclosure, copying, or<br>
distribution is strictly prohibited. If you are not the intended<br>
recipient(s) please contact the sender by reply email and destroy<br>
all copies of the original message and any attachments.</font></span><div class="HOEnZb"><div class="h5"><br>
______________________________<wbr>_________________<br>
Haskell-prime mailing list<br>
<a href="mailto:Haskell-prime@haskell.org" target="_blank">Haskell-prime@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bi<wbr>n/mailman/listinfo/haskell-pri<wbr>me</a><br>
</div></div></blockquote></div><br></div>