[mercury-users] I can't see what this error message is trying to tell me.

[Julien Fischer]

Hi Michael,

On Mon, 23 Apr 2012, Michael Richter wrote:

> ../src/decimal.m:279: In clause for function `radix'/0:
> ../src/decimal.m:279:   in function result term of clause head:
> ../src/decimal.m:279:   in argument 4 of functor `number/4':
> ../src/decimal.m:279:   type error in unification of argument
> ../src/decimal.m:279:   and constant `basic_default_context'.
> ../src/decimal.m:279:   argument has type `(some [C] C)',
> ../src/decimal.m:279:   constant `basic_default_context' has type `(some [C]
> ../src/decimal.m:279:   C)'.
> ../src/decimal.m:279:   The partial type assignment was:
> ../src/decimal.m:279:     some [C_1]
> ../src/decimal.m:279:     HeadVar__1_1: decimal.decimal(C)
> ../src/decimal.m:279:     V_2: decimal.sign
> ../src/decimal.m:279:     V_3: integer.integer
> ../src/decimal.m:279:     V_4: integer.integer
> ../src/decimal.m:279:     V_5: C
> ... error log truncated, see `decimal.err' for the complete log.
>
> So, the argument is type (some [C] C) and the constant being passed in is
> type (some [C] C) and this is somehow a problem.  I don't get it.  Can
> anybody give me a clue what I've done wrong here?

It would be helpful if you could post the code referred to in the error
message above.

Julien.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------