A compile (via the Eclipse plugin) of a module attribute can result in an error message saying that the module does not export main().

However, if the module attribute has a parameter (even an unused parameter), the error is not raised.

Not having a main() is only an error if the attribute is to be executed. It would be better if this error was not raised at compile time because the error required the programmer to look at the work unit to verify that the error is just a missing main() and not something that requires attention.