[mercury-users] Math Module

[Fergus Henderson]

On 21-Oct-2002, Noel  Pinto <cool4life at 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?

P.S. Please make sure you include *all* the relevant information in your
emails, including exactly which version of Mercury you are using.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------