[m-rev.] for review: io.write for streams

[Julien Fischer]

On Thu, 21 Dec 2006, Simon Taylor wrote:

> On 21-Dec-2006, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
>> I don't like the idea of a sub-module having the same (unqualified) name as
>> another standard library module.  Neither does the compiler apparently (see
>> below **).
>>
>> You might as well go with stream.string_writer; none of the alternatives
>> have been particularly appealing.
>
> OK.
>
>> ** the following is a bug, presumably in the code that generates
>>    the dependencies, although I haven't looked that closely.
>>
>> 	:- module foo.
>> 	:- interface.
>> 	:- include_module foo.
>> 	:- end_module foo.
>>
>> 	:- module foo.char.
>> 	:- interface.
>> 	:- pred bar(int::in) is semidet.
>> 	:- implementation.
>> 	bar(561).
>> 	:- end_module foo.char.
>>
>> mmc --make foo or mmake foo.depend both go into a loop with the
>> above modules.
>
> This fails because of the `:- include_module foo'.
> The compiler is quite happy with a sub-module `char'.

Ah, sorry about that - you're absolutely right.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------