Re: Curry module system

From: Emilio Jesús Gallego Arias <>
Date: Fri, 27 Jan 2006 12:59:03 +0100


Michael Hanus <> 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.



curry mailing list
Received on Fr Jan 27 2006 - 16:17:43 CET

This archive was generated by hypermail 2.3.0 : So Dez 03 2023 - 07:15:08 CET