|
From: | Stephen Wilson |
Subject: | Re: [Axiom-developer] RE: algebra Makefiles with explicitdependencies, bootstrap, fixed-points etc. |
Date: | Mon, 10 Jan 2005 21:31:45 -0500 |
User-agent: | Mutt/1.5.6+20040907i |
Tim, On Mon, Jan 10, 2005 at 09:47:36PM -0500, root wrote: > The code was changed. It used to read: > > one?(x) == ONEP(x)$Lisp > > It now reads: > > one?(x) == x = 1 True, but the bootstrap code does not contain any definition. We have: (DEFUN |SINT;zero?;$B;38| (|x| $) (QSZEROP |x|)) (DEFUN |SINT;max;3$;39| (|x| |y| $) (QSMAX |x| |y|)) The last number in the function names gives the order of the function in definition in the domain. The definition of `one?' follows `zero?'. With fresh code we have: (DEFUN |SINT;zero?;$B;38| (|x| $) (QSZEROP |x|)) (DEFUN |SINT;one?;$B;39| (|x| $) (EQL |x| 1)) (DEFUN |SINT;max;3$;40| (|x| |y| $) (QSMAX |x| |y|)) It was precisely this change in sequence that allowed me to spot this missing function by looking at the domain vectors. All domains which relied of functions defined in SINT with `sequence number' > 38 shifted by one in the second pass of the fixed-point build. Sincerely, Steve
[Prev in Thread] | Current Thread | [Next in Thread] |