SCartesian(n) : Exports == Implementation where
....
   Exports ==>  SPointCategory()

   Implementation ==>  SPointCategory() add
....

I compiled all this without problems but I get errors when I try to
call these common functions (such as sipnt and colinearity) like this:

If you cxan xompile this then that should be reported as a compiler bug. Please cut down to a minimal .spad file showing this.

It is actually not wrong as such, since you should be able to have

SPointCategory(): Category == with ...

and

SPointCategory(): SPointCategory() == add ...

In other words, SPAD should let you define a category and also a domain with the same name, because they are distinguishable by their types.

HOWEVER, you only have a category defined, so the line

>    Implementation ==>  SPointCategory() add

should eventually lead to an error message.

I don't actually know why you put a category in a place where a domain is expected.

Anyway, not reporting an error is a bug in the compiler.

Ralf

--
You received this message because you are subscribed to the Google Groups "FriCAS - 
computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/fricas-devel?hl=en.

Reply via email to