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

[Michael Richter]

../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?

-- 
"Perhaps people don't believe this, but throughout all of the discussions
of entering China our focus has really been what's best for the Chinese
people. It's not been about our revenue or profit or whatnot."
--Sergey Brin, demonstrating the emptiness of the "don't be evil" mantra.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/users/attachments/20120423/b366eb30/attachment.html>