Re: Curry module system

From: Emilio Jesús Gallego Arias <egallego_at_babel.ls.fi.upm.es>
Date: Fri, 27 Jan 2006 12:59:03 +0100

Hello,

Michael Hanus <mh_at_informatik.uni-kiel.de> writes:

> 3. The current report states that the prelude is always implicitly
> imported into all modules. However, there are situations where
> it is reasonable to hide some prelude entities which is impossible

In Sloth we solved this using a command line switch -np (for no
prelude), and then reimporting if needed. That command line switch is
also used to compile the prelude itself.

> if the prelude is always imported. Thus, I propose to state that
> the prelude is always implicitly imported if it is not explicitly
> imported. For instance, this allows the hiding of the prelude
> operations "map" and "filter" in the current module by writing
> the import declaration "import prelude hiding (map,filter)".

It seems a good solution.

Regards,

Emilio

_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Fri Jan 27 2006 - 16:17:43 CET

This archive was generated by hypermail 2.3.0 : Fri Sep 20 2019 - 07:15:05 CEST