[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Re: debugging
From: |
Waldek Hebisch |
Subject: |
Re: [Axiom-developer] Re: debugging |
Date: |
Sun, 8 Jul 2007 20:01:35 +0200 (CEST) |
Camm Maguire wrote:
> Greetings!
>
> 1) 'boot::|NRTassocIndex| (and others) calls elt on dotted lists of
> the form ('|domain| s . s), whereas the spec says elt must take a
> proper list. elt is automatically inlined.
>
I tried to redefine elt in the initial image -- it did not work
(I probably made some silly error). So I changed |NRTassocIndex|
to use nth. I got a misterous build failure:
------------------------------------------------------------------------
FunctionSpace is now explicitly exposed in frame initial
FunctionSpace will be automatically loaded when needed from
/var/tmp/hebisch/axp7/ax-build4/src/algebra/FS.NRLIB/code
)compile "ACFS.spad"
Segmentation violation: c stack ok:signalling error
>> System error:
Condition in $FINDFILE [or a callee]: INTERNAL-SIMPLE-ERROR: Caught fatal
error [memory may be damaged]: Segmentation violation.
When I did the compilation by hand it went OK. However later
I got another error. AFAICS DFLOAT.spad is miscompiled. In
the spad file we have:
base() == FLOAT_-RADIX(0$%)$Lisp
the resulting Lisp is:
(DEFUN |DFLOAT;base;Pi;7| ($)
(PROG () (RETURN (FLOAT-RADIX '#<OBJNULL>))))
Also, with Ansi gcl-2.7.0 we get subtly different code, other Lisps
(gcl 2.6.8, sbcl, clisp) just give:
(DEFUN |DFLOAT;base;Pi;7| ($) (FLOAT-RADIX 0.0))
that is the outer PROG and RETURN are missing (I see this difference
for many other functions).
--
Waldek Hebisch
address@hidden
- Re: [Axiom-developer] Re: debugging, Camm Maguire, 2007/07/07
- Re: [Axiom-developer] Re: debugging, Waldek Hebisch, 2007/07/07
- Re: [Axiom-developer] Re: debugging,
Waldek Hebisch <=
- Re: [Axiom-developer] Re: debugging, Camm Maguire, 2007/07/08
- Re: [Axiom-developer] Re: debugging, Ralf Hemmecke, 2007/07/08
- Re: [Axiom-developer] Re: debugging, Waldek Hebisch, 2007/07/08
- [Axiom-developer] emit-fn, Camm Maguire, 2007/07/09
- Re: [Axiom-developer] Re: debugging, Camm Maguire, 2007/07/12
- Re: [Axiom-developer] Re: debugging, Waldek Hebisch, 2007/07/13
- Re: [Axiom-developer] Re: debugging, Camm Maguire, 2007/07/13
- Re: [Axiom-developer] Re: debugging, Camm Maguire, 2007/07/13
- Re: [Axiom-developer] Re: debugging, Waldek Hebisch, 2007/07/13
- Re: [Axiom-developer] Re: debugging, Waldek Hebisch, 2007/07/13