Just for the record.
In my code I had something like this where
LZ ==> List Integer
qetaGrades(x: %): LZ ==
zero? x => [-1 for k in 1..ncusps]
[qetaGrade(x, k pretend PositiveInteger) for k in 1..ncusps]
That compiles fine. Now I ran into a case where "zero? x" was true.
Instead of getting a list of -1 entries, I got:
Function: -? : % -> % is missing from domain: NonNegativeInteger
Internal Error
The function - with signature $$ is missing from domain
NonNegativeInteger
It is easy to resolve via "-1$Integer", but it is sad that the compiler
accepts something and then produces code that throws an error, is not good.
I wonder by what mechanism the SPAD compiler finds a function "-" with
signature NonNegativeInteger -> Integer.
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 [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/81cad2c3-b0f5-fa35-754f-2cf5be1b0d9d%40hemmecke.org.
