> | But 'with x:A->B' is a category object so we should be able to say:
> |
> | x:Category := with x:A->B
Have you looked at aaa.asy after saying
aldor -fasy aaa.as
on the following file?
---BEGIN aaa.as
#include "aldor"
A: with == add;
B: with == add;
x: Category == with {x: A -> B}
---END aaa.as
The two x's are, of course, of different types (look at |symeTypeCode|).
Did I miss anything in that discussion?
Ralf
-------------------------------------------------------------------------
Sponsored by: SourceForge.net Community Choice Awards: VOTE NOW!
Studies have shown that voting for your favorite open source project,
along with a healthy diet, reduces your potential for chronic lameness
and boredom. Vote Now at http://www.sourceforge.net/community/cca08
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
