[mercury-users] Please add cc_multi det to pprint.separated/3

[doug.auclair at logicaltypes.com]

Dear Julien, you wrote re: the xml library,

>Why was it not compiling for you?  I just tried it with
>Mercury 0.13.1 and it seems fine.

I received many errors:

submodule qualifiers of ':' were parsed as term relations,
so I changed ':' to '.' for submodule qualifiers.

while I was at it, I changed '__' module qualifiers to
'.' (don't know if this gives an error, but I saw a big
push in the standard library a year or so ago that did
this).

The type '', which was defined as:

:- type '' ---> ''.

gave syntax errors throughout (particularly parsing.m),

Since '' is a string parsing type, I changed it to the type

:- type epsilon ---> epsilon.

which is also congruent with the literature on parsing.

I believe there was at least one instance definition
in the interface section of at least one module; this
gave compiler errors, so I kept the instance declaration
in the interface section and moved the definition down
to the implementation section (I think the implementation
on these instances where [] anyway, but they still gave
compiler errors being in the interface section).

There were other miscellaneous errors that I corrected
as I encountered them.

Strange that I should get so many errors where you did
not.  Is it because the syntax has changed that much
in the ROTD verses 0.13.1?

Sincerely,
Doug Auclair

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