On Sun, May 26, 2024 at 08:50:13AM +0200, Ralf Hemmecke wrote:
> The commit below causes the compilation of the FriCAS-Aldor interface to
> fail.
>
> The last lines of the log are...
>
> ar: creating al/libfricas_ES.al
> ar: ao/ESC2.ao: No such file or directory
> make[1]: *** [cliques.mk:3978: al/libfricas_ES.al] Error 1
> rm ao/.dir
> make[1]: Leaving directory '/dev/shm/hemmecke/fricas/b/src/aldor'
> make: *** [Makefile:440: al/libfricas.al] Error 2
>
> In fact, when I saw this commit, I was a bit surprised that % is allowed in
> the arguments of a category. I am not aware that I have seen this before.
> Maybe this is not the cause of the problem, but at least it looks
> suspicious.
I am surprosed that you are surprised. Before commit we had:
K : Kernel(%)
so clearly '%' is allowed as argument inside interface part (that is
export part). Also, the code is essentially equivalent to
ExpressionSpace2(K : Type) : Category == Defn where
...
Defn ==> Type
if K has KernelCategory(%) then
...
which has condition inside. As written code is clearer for people
and having unconditional declaration of K should be easier for
compiler.
To put is differently, I am surprosed that apparently Aldor can not
handle this natural and strightforward construction.
OTOH, if you look at categories you will see that most our categories
have no arguments, and among those having arguments many have trivial
arguments (that is Type). So it is no surprise that there were no
similar example earlier.
--
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 [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/ZlMcEkiT_uK4icKG%40fricas.org.
