[m-rev.] diff: fix bug in error messages

[Mark Brown]

On 19-May-2005, Julien Fischer <juliensf at cs.mu.OZ.AU> wrote:
> 
> On Thu, 19 May 2005, Mark Brown wrote:
> 
> > So I think the answer to the question is no, the above type should not
> > be legal, and the funny_type test case should be changed or removed.
> >
> 
> There is no funny_type test case to change or remove; it was just
> an example of the problem.  What will need to be changed is the
> code in extras/xml, where the example was orginally taken from.

Okay.

> 
> > Are there any dissenting views?
> Not from me.
> 
> > If not, I shall look into fixing the
> > errors that are reported, and also clarifying the reference manual.
> >
> Does this also mean that the following will also be illegal?
> 
> 	:- type bar ---> ''.

This should be allowed, since overloading of function symbols is legal,
and module qualification can be used to resolve any problems.  In other
words, '' should be treated the same as apply/N.

Cheers,
Mark.

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------