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.

                              Waldek Hebisch

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