Ralf Hemmecke wrote:
>
> Hi Waldek,
>
> just a short note. Last night I've found out that the problematic file
> is src/interp/interop.boot. When I compile this file in my test-bootsys
> branch (i.e basically this is r1037 with small fixes to make libaxiom.al
> compile) by using depsys (other files with bootsys) then Bill's problem
> does not appear. Compiling it with bootsys, leads to the error.
>
> So there must be something strange in the generated interop.clisp file.
> My understanding of LISP is however not so well established that I would
> be able to compare the two files.
>
> Some hints are very much appreciated.
>
> The only thing, I've realized is that the order of ELT and CAR is
> exchanged between depsys and bootsys. Is this correct?
>
Looking at 'devaluate' I see a problem:
devaluate(d) ==
isDomain d =>
-- ?need a shortcut for old domains
-- ELT(CAR d, 0) = 'oldAxiomDomain => ...
-- FIXP(ELT(CAR d,0)) => d
DNameToSExpr(SPADCALL(CDR d,CAR(d).1))
^^^^^^^^
problem
not REFVECP d => d
QSGREATERP(QVSIZE d,5) and QREFELT(d,3) is ['Category] => QREFELT(d,0)
QSGREATERP(QVSIZE d,0) =>
d':=QREFELT(d,0)
isFunctor d' => d'
d
d
This is know syntactic difference between old Boot and Shoe,
try replacing this by '(CAR(d)).1' to force correct precedence.
--
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.
