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 :)
On Fri, May 19, 2017 at 5:35 PM, Mario Blažević <mblaze...@stilo.com> wrote: > On 2017-05-16 10:18 AM, Joachim Breitner wrote: > >> Hi, >> >> a very small proposal to be considered for Haskell': >> > > 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. > > > >> Currently, the report states >> >> An abbreviated form of module, consisting only of the module body, >> is permitted. If this is used, the header is assumed to be ‘module >> Main(main) where’. >> >> I propose to change that to >> >> An abbreviated form of module, consisting only of the module body, >> is permitted. If this is used, the header is assumed to be ‘module >> Main where’. >> >> The rationale is that a main-less main module is still useful, e.g. >> when you are working a lot in GHCi, and offload a few extensions to a >> separate file. Currently, tools like hdevtools will complain about a >> missing main function when editing such a file. >> >> It would also work better with GHC’s -main-is flag, and avoid problems >> like the one described in https://ghc.haskell.org/trac/ghc/ticket/13704 >> >> >> I don’t see any downsides. When compiling to a binary, implementations >> are still able to detect that a Main module is not imported by any >> other module and only the main function is used, and optimize as if >> only main were exported. >> >> Greetings, >> Joachim >> >> >> >> >> >> _______________________________________________ >> Haskell-prime mailing list >> Haskell-prime@haskell.org >> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime >> >> > > -- > Mario Blazevic > mblaze...@stilo.com > Stilo International > > This message, including any attachments, is for the sole use of the > intended recipient(s) and may contain confidential and privileged > information. Any unauthorized review, use, disclosure, copying, or > distribution is strictly prohibited. If you are not the intended > recipient(s) please contact the sender by reply email and destroy > all copies of the original message and any attachments. > > _______________________________________________ > Haskell-prime mailing list > Haskell-prime@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime >
_______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
