

On Mon, 21 Oct 2002 Fergus Henderson wrote :
>On 21-Oct-2002, Noel  Pinto <cool4life@rediffmail.com> wrote:
> >
> > Here is the error I get...
> > Nex_int.m:012: In clause for predicate `Nex_int:main/2':
> > Nex_int.m:012:   error: ambiguous overloading causes type
> > ambiguity.
> > Nex_int.m:012:   Possible type assignments include:
> > Nex_int.m:012: RoundedRadius :: float or (pred float)
>
>Noel, you need to read what the compiler tells you.
>
>You omitted part of the error message.
>The full error message contains an additional line:
>
>  |	For more information, try recompiling with `-E'.
>
>Please follow the compiler's directions!
>Then you will get a more informative error message.
>In the current release-of-the-day version of Mercury,
>the more verbose message that you get with `-E' is this:
>
>  |	You will need to add an explicit type qualification to 
>resolve the
>  |	type ambiguity.
>  |	The way to add an explicit type qualification is to use 
>"with_type".
>  |	For details see the "Explicit type qualification" 
>sub-section
>  |	of the "Data-terms" section of the "Syntax" chapter
>  |	of the Mercury langauge reference manual.
>
>Is that clear?
Fergus I have Mercury Compiler version 0.10.1 and I am currently 
not using thr rotd. I do not get the verbose message as you tell 
me. Instead, I get a list of options to work with the command and 
it tells me what each of them does.

Hope this expalins why I have not been mentioning that line.

Since you have mentioned rotd, I want to know....
1) How stable is it?
2) How do I uninstall Mercury version 0.10.1 so that I install the 
rotd.

Thanks and Regards,

Noel
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users@cs.mu.oz.au
administrative address: owner-mercury-users@cs.mu.oz.au
unsubscribe: Address: mercury-users-request@cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request@cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------

