<div>../src/decimal.m:279: In clause for function `radix'/0:</div><div>../src/decimal.m:279:   in function result term of clause head:</div><div>../src/decimal.m:279:   in argument 4 of functor `number/4':</div><div>
../src/decimal.m:279:   type error in unification of argument</div><div>../src/decimal.m:279:   and constant `basic_default_context'.</div><div>../src/decimal.m:279:   argument has type `(some [C] C)',</div><div>../src/decimal.m:279:   constant `basic_default_context' has type `(some [C]</div>
<div>../src/decimal.m:279:   C)'.</div><div>../src/decimal.m:279:   The partial type assignment was:</div><div>../src/decimal.m:279:     some [C_1]</div><div>../src/decimal.m:279:     HeadVar__1_1: decimal.decimal(C)</div>
<div>../src/decimal.m:279:     V_2: decimal.sign</div><div>../src/decimal.m:279:     V_3: integer.integer</div><div>../src/decimal.m:279:     V_4: integer.integer</div><div>../src/decimal.m:279:     V_5: C</div><div>... error log truncated, see `decimal.err' for the complete log.</div>
<div><br></div><div>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?</div>
<div><br></div>-- <br>"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."<br>
--Sergey Brin, demonstrating the emptiness of the "don't be evil" mantra.<br>