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.

Ralf

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