I've tried to compile the file directly. It seems that I am right that
Aldor cannot handle % in the arguments of a category. :-(
Peter, do you have any idea what can be done about it?
Ralf
/dev/shm/hemmecke/fricas/b/src/aldor$ make
make -f Makefile2 aldor_srcs="lang minimach boolean0 axextend axlit
subsetc"
GENAX="/home/hemmecke/HDD/ralhex/g/fricas-bisect/fricas/src/aldor/gendepap.lsp"
make[1]: Entering directory
'/home/hemmecke/backup/git/fricas-bisect/build/bug-for-aldor-interface/src/aldor'
mkdir -p ao
touch -t 199901010000 ao/.dir
aldor -Wname=fricas -Mno-abbrev -Mpreview -Y al -L FriCASLib=fricas_ESC2
-fao=ao/ESC2.ao ap/ESC2.ap 2>&1 | tee tmp/ESC2_ao.out
(Message Preview)
"ap/ESC2.ap", line 6:
(|Apply| -> (|Declare| |#1| (|Apply| |KernelCategory| %))
....................................................................^
[L6 C69] #1 (Error) No meaning for identifier `%'.
(Message Preview)
"ap/ESC2.ap", line 123:
|#1|)
........................................^
[L123 C41] #2 (Error) There are 0 meanings for `#1' in this context.
The possible types were:
#1: KernelCategory(%), a local
The context requires an expression of type Tuple(Type).
(Message Preview)
"ap/ESC2.ap", line 123:
|#1|)
........................................^
[L123 C41] #3 (Error) Argument 2 of `->' did not match any possible
parameter type. The rejected type is KernelCategory(%).
Expected type Tuple(Type).
(Message Preview)
#4 (Error) Have determined 1 possible types for the expression.
Meaning 1: KernelCategory(%)
The context requires an expression of type Tuple(Type).
(Message Preview)
#5 (Error) Argument 1 of `->' did not match any possible parameter type.
The rejected type is KernelCategory(%).
Expected type Tuple(Type).
(Message Preview)
"ap/ESC2.ap", line 123:
|#1|)
........................................^
[L123 C41] #6 (Error) There are 0 meanings for `#1' in this context.
The possible types were:
#1: KernelCategory(%), a local
The context requires an expression of type Tuple(Type).
(Message Preview)
#7 (Error) Have determined 1 possible types for the expression.
Meaning 1:
with
== add ()
, KernelCategory(%)
The context requires an expression of type Tuple(Type).
(Message Preview)
#8 (Error) Argument 1 of `->' did not match any possible parameter type.
The rejected type is
with
== add ()
, KernelCategory(%).
Expected type Tuple(Type).
(Message Preview)
"ap/ESC2.ap", line 65:
(|Comma| % (|Apply| |List| |#1|)
..................................................................^
[L65 C67] #9 (Error) Argument 1 of `List' did not match any possible
parameter type. The rejected type is KernelCategory(%).
Expected type Type.
(Message Preview)
"ap/ESC2.ap", line 65:
(|Comma| % (|Apply| |List| |#1|)
..................................................................^
[L65 C67] #10 (Error) Argument 1 of `List' did not match any possible
parameter type. The rejected type is KernelCategory(%).
Expected type Type.
(Message Preview)
"ap/ESC2.ap", line 123:
|#1|)
........................................^
[L123 C41] #11 (Fatal Error) Too many errors (use `-M emax=n' or `-M
no-emax' to change the limit).
#4 (Error) Have determined 1 possible types for the expression.
Meaning 1: KernelCategory(%)
The context requires an expression of type Tuple(Type).
#5 (Error) Argument 1 of `->' did not match any possible parameter type.
The rejected type is KernelCategory(%).
Expected type Tuple(Type).
#7 (Error) Have determined 1 possible types for the expression.
Meaning 1:
with
== add ()
, KernelCategory(%)
The context requires an expression of type Tuple(Type).
#8 (Error) Argument 1 of `->' did not match any possible parameter type.
The rejected type is
with
== add ()
, KernelCategory(%).
Expected type Tuple(Type).
"ap/ESC2.ap", line 6:
(|Apply| -> (|Declare| |#1| (|Apply| |KernelCategory| %))
....................................................................^
[L6 C69] #1 (Error) No meaning for identifier `%'.
"ap/ESC2.ap", line 65:
(|Comma| % (|Apply| |List| |#1|)
..................................................................^
[L65 C67] #9 (Error) Argument 1 of `List' did not match any possible
parameter type. The rejected type is KernelCategory(%).
Expected type Type.
"ap/ESC2.ap", line 123:
|#1|)
........................................^
[L123 C41] #2 (Error) There are 0 meanings for `#1' in this context.
The possible types were:
#1: KernelCategory(%), a local
The context requires an expression of type Tuple(Type).
[L123 C41] #3 (Error) Argument 2 of `->' did not match any possible
parameter type. The rejected type is KernelCategory(%).
Expected type Tuple(Type).
[L123 C41] #6 (Error) There are 0 meanings for `#1' in this context.
The possible types were:
#1: KernelCategory(%), a local
The context requires an expression of type Tuple(Type).
[L123 C41] #11 (Fatal Error) Too many errors (use `-M emax=n' or `-M
no-emax' to change the limit).
ar r al/libfricas_ES.al ao/lang.ao ao/boolean0.ao ao/minimach.ao
ao/subsetc.ao ao/BASTYPE.ao ao/KOERCE.ao ao/init_OUTFORM.ao ao/SETCAT.ao
ao/init_PI.ao ao/ABELSG.ao ao/init_NNI.ao ao/ABELMON.ao ao/ABELGRP.ao
ao/ATFINAG.ao ao/AGG.ao ao/ATTWSR.ao ao/ATCS.ao ao/ATNZDIV.ao
ao/ATSHMUT.ao ao/ATUNIKN.ao ao/CABMON.ao ao/COMPAR.ao ao/init_LIST.ao
ao/IEVALAB.ao ao/init_EQ.ao ao/EVALAB.ao ao/PORDER.ao ao/ORDSET.ao
ao/HOAGG.ao ao/KONVERT.ao ao/init_INFORM.ao ao/CLAGG.ao ao/ELTAB.ao
ao/ELTAGG.ao ao/init_SINT.ao ao/HASHSTAT.ao ao/HASHABL.ao ao/IXAGG.ao
ao/MAGMA.ao ao/MAGMAWU.ao ao/SGROUP.ao ao/MONOID.ao ao/NASRNG.ao
ao/NASRING.ao ao/init_UNISEG.ao ao/LNAGG.ao ao/FLAGG.ao ao/A1AGG.ao
ao/AHYP.ao ao/BGAGG.ao ao/DIOPS.ao ao/DIAGG.ao ao/ELAGG.ao ao/KDAGG.ao
ao/RCAGG.ao ao/URAGG.ao ao/STAGG.ao ao/LSAGG.ao ao/TBAGG.ao ao/ALAGG.ao
ao/ALIST.ao ao/APRODC.ao ao/CHARZ.ao ao/init_OMDEV.ao ao/OM.ao ao/AMR.ao
ao/LIST.ao ao/OASGP.ao ao/OAMON.ao ao/OCAMON.ao ao/OAGROUP.ao
ao/ORDRING.ao ao/SEGCAT.ao ao/SEGXCAT.ao ao/SEG.ao ao/ARR2CAT.ao
ao/ATADDVA.ao ao/ATAPPRO.ao ao/ATARBEX.ao ao/ATARBPR.ao ao/ATCANCL.ao
ao/ATCANON.ao ao/ATCUNOR.ao ao/ATMULVA.ao ao/ATRIG.ao ao/ATVCWC.ao
ao/JOINLAT.ao ao/BJOIN.ao ao/MEETLAT.ao ao/BMEET.ao ao/BLAT.ao ao/LAT.ao
ao/DISTLAT.ao ao/BDISTL.ao ao/FINITE.ao ao/LOGIC.ao ao/BOOLEAN.ao
ao/ORDFIN.ao ao/CHAR.ao ao/SETAGG.ao ao/FSAGG.ao ao/CCLASS.ao
ao/CFCAT.ao ao/CHARNZ.ao ao/DIFRING.ao ao/ELEMFUN.ao ao/LORER.ao
ao/init_SUP.ao ao/GCDDOM.ao ao/PID.ao ao/EUCDOM.ao ao/IPC.ao ao/IDPC.ao
ao/FMCAT.ao ao/HYPCAT.ao ao/KOERCEF.ao ao/init_MATRIX.ao
ao/init_VECTOR.ao ao/LINEXP.ao ao/LZSTAGG.ao ao/OAMONS.ao ao/NNI.ao
ao/NONE.ao ao/OINTDOM.ao ao/PDRING.ao ao/init_DFLOAT.ao ao/init_FLOAT.ao
ao/REAL.ao ao/RETRACT.ao ao/init_SYMBOL.ao ao/SAOS.ao ao/SEXCAT.ao
ao/SPFCAT.ao ao/SRAGG.ao ao/STEP.ao ao/STRICAT.ao ao/STRING.ao
ao/TRIGCAT.ao ao/TRANFUN.ao ao/init_FR.ao ao/UFD.ao ao/MATCAT.ao
ao/VECTCAT.ao ao/VECTOR.ao ao/MATRIX.ao ao/OSGROUP.ao ao/ORDMON.ao
ao/PI.ao ao/SINT.ao ao/STREAM.ao ao/UNISEG.ao ao/axlit.ao ao/axextend.ao
ao/CACHSET.ao ao/KERCAT.ao ao/ESC2.ao ao/KERNEL.ao
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
'/home/hemmecke/backup/git/fricas-bisect/build/bug-for-aldor-interface/src/aldor'
make: *** [Makefile:440: al/libfricas.al] Error 2
--
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/24980a4c-bf31-47cf-ab83-071f286cbd4a%40hemmecke.org.
