On 09/17/2016 07:11 PM, Waldek Hebisch wrote:
> Ralf Hemmecke wrote:
>> On 09/17/2016 02:54 AM, Kurt Pagani wrote:
>>> Today I've compiled svn rev. 2122. Afterwards, while compiling and
>>> testing some old code, I got the following (runtime) error several times:
>>> Function:  -? : % -> % is missing from domain: NonNegativeInteger
>>>    Internal Error
>>>    The function - with signature $$ is missing from domain
>>>       NonNegativeInteger
>> This is a good thing. The negation of an element of NNI is not in NNI
>> unless this element is 0.
> We should get error earlier: type checking is supposed to
> catch such things.

Oh, yes, you are right. I've missed the information that this came from
compiled code.


You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to fricas-devel+unsubscr...@googlegroups.com.
To post to this group, send email to fricas-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to