Ralf,
Before I submit a bug report I would like to understand why the code
is not working (if I reported all unhelpfulness in SPAD compiler error
reporting I would have a full time job). I just re-edited SCartesian
(which is a domain) to:
SCartesian(n) : Exports == Implementation where
....
Exports ==> SPointCategory()
Implementation ==> Type add
Which changed but did not eliminate the error messages:
(1) -> PT ==> SCartesian(2)
Type: Void
(2) -> sipnt(-1,-1)$PT
>> System error:
The value NIL is not of type FUNCTION.
(2) -> a:=spnt(1.0,2.0)$PT
(2) ("p",1.0,2.0,1.0)
Type: SCartesian(2)
(3) -> b:=spnt(3.0,4.0)$PT
(3) ("p",3.0,4.0,1.0)
Type: SCartesian(2)
(4) -> colinearity(a,b)$PT
>> System error:
The value NIL is not of type FUNCTION.
So the problem is still there, I just thought Implementation might
extend SPointCategory because SPointCategory now contains function
definitions?
Martin
--
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.
