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 Fr Jan 27 2006 - 16:17:43 CET