Re: Default module header `module Main where`

Agreed, this sounds sensible. Can anyone think of any unintended consequences? -Jose On Tue, May 16, 2017, at 09:50 AM, Iavor Diatchki wrote:

That seems fairly reasonable to me.

-Iavor

On Tue, May 16, 2017 at 7:18 AM, Joachim Breitner wrote:>> Hi,

...

a very small proposal to be considered for Haskell':

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

-- Joachim “nomeata” Breitner mail@joachim-breitner.de • https://www.joachim-breitner.de/ XMPP: nomeata@joachim-breitner.de • OpenPGP-Key: 0xF0FBF51F Debian Developer: nomeata@debian.org>> _______________________________________________ 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