[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [Axiom-developer] RE: algebra Makefiles with explicit depende ncies,
From: |
Page, Bill |
Subject: |
RE: [Axiom-developer] RE: algebra Makefiles with explicit depende ncies, bootstrap, fixed-points etc. |
Date: |
Tue, 11 Jan 2005 11:12:20 -0500 |
Steve,
On Monday, January 10, 2005 9:19 PM you wrote:
>
> On Mon, Jan 10, 2005 at 09:39:22PM -0500, root wrote:
> > It appears that expressIdealMember is not mentioned in the
> > signature list for EuclideanDomain() and was not used locally
> > so the compiler did not generate code for it.
>
> I noticed this too but Im not confident that this is the case.
> The catdef.spad.pamphlet has a stanza `<<EUCDOM-.lsp BOOTSTRAP>>='
> which includes the (nonexistent) chunk
> `<<EUCDOM-;expressIdealMember;LSU;10>>'.
> The bootstrap code for EUCDOM mentions this function explicitly,
> as does bootstrap code in INT and SINT. Moreover, the code for
> this function is generated at the end of a normal build. I really
> think this a missing chunk (or, perhaps, I'm missing one :).
>
Maybe it is the latter case :) ...
When I check catdef.spad.pamphlet on my system I do see a chunk
with this name at line 1866:
<<EUCDOM-;expressIdealMember;LSU;10>>=
(DEFUN |EUCDOM-;expressIdealMember;LSU;10| (|l| |z| |$|)
(PROG (#1=#:G83681 #2=#:G83682 |pid| |q| #3=#:G83679 |v| #4=#:G83680)
(RETURN
(SEQ
(COND
((SPADCALL |z| (|spadConstant| |$| 26) (QREFELT |$| 44))
...
And the function definition also occurs in int/EUCDOM-.lsp
So the code is not missing in at least the axiom--windows--1
branch.
Regards,
Bill Page.
- RE: [Axiom-developer] RE: algebra Makefiles with explicit depende ncies, bootstrap, fixed-points etc.,
Page, Bill <=
- RE: [Axiom-developer] RE: algebra Makefiles with explicit depende ncies, bootstrap, fixed-points etc., Page, Bill, 2005/01/17
- RE: [Axiom-developer] RE: algebra Makefiles with explicit depende ncies, bootstrap, fixed-points etc., Page, Bill, 2005/01/18
- RE: [Axiom-developer] RE: algebra Makefiles with explicit depende ncies, bootstrap, fixed-points etc., Page, Bill, 2005/01/18