Martin Rubey wrote:
>
> Dear Waldek,
>
> the latest revision fails to build the aldor interface (both gcl and sbcl
> fail). I'm unable to check right now...would be great if you could. Below
> the
> tail:
>
> Martin
>
> aldor -Wname=axiom -Mno-abbrev -Mpreview -Y al -L AxiomLib=axiom_ATCS
> -fao=ao/ATCS.ao ap/ATCS.ap
> (Message Preview)
> "ap/ATCS.ap", line 4:
> (|With| NIL (|Sequence| (|RestrictTo| |nil| |Category|)))))
> ..............................................^
> [L4 C47] #1 (Error) No meaning for identifier `nil'.
>
> "ap/ATCS.ap", line 4:
> (|With| NIL (|Sequence| (|RestrictTo| |nil| |Category|)))))
> ..............................................^
> [L4 C47] #1 (Error) No meaning for identifier `nil'.
>
I see:
(1) -> )lisp (|spad2AxTranslatorAutoloadOnceTrigger| nil)
(1) -> )lisp (|makeAxExportForm| nil '(|CommutativeStar|))
Value = (|Sequence| (|Import| NIL |AxiomLib|) (|Import| NIL |Boolean|)
(|Define| (|Declare| |CommutativeStar| |Category|)
(|With| NIL (|Sequence| (|RestrictTo| |nil| |Category|)))))
(1) -> )lisp (getdatabase '|CommutativeStar| 'CONSTRUCTORCATEGORY)
Value = (|Join| (CATEGORY |package| (ATTRIBUTE |nil|)))
^^^^^^^^^^^^^^^^^
So, the problem seem to be due to the '(ATTRIBUTE |nil|)' part in
the CONSTRUCTORCATEGORY. AFAICS there are possible solutions:
1) make nil into real thing (category with empty definition) in the
interface -- quik and dirty, but may work
2) work around the problem in modemapToAx
3) try to change CONSTRUCTORCATEGORY to '(|Join| (CATEGORY |package|))'
I am not sure if this has some other bad consequences, but if
that works it would be the best solution.
P.S. Currently I can not check the inerface -- all machines where I
have Ador installed are currently not accessible.
--
Waldek Hebisch
[EMAIL PROTECTED]
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
