Re: [Axiom-developer] 20070810.01.tpd.patch

[EMAIL PROTECTED] writes: | This patch removes src/interp/metameta.lisp.pamphlet which is | no longer used. This should go to silver. -- Gaby ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-

Re: [Axiom-developer] Lisp in Small Pieces

Bill Page wrote: > On 8/10/07, C Y wrote: >> Not at $4 any more. I didn't notice it in time. Arrrgh. >> > > :-) I think I got the last one. When I went to amazon.ca it said: 1 > new copy for $3.99 and about 10 used copies for about $70. I was > afraid the my order would be cancelled by the time I

Re: [Axiom-developer] bootstrap Meta/Boot

Gabriel Dos Reis wrote: > [EMAIL PROTECTED] writes: > > [...] > > | Writing Boot to generate Lisp is like writing Fortran to generate Aldor. > | If you are a Fortran programmer you won't see why that's a problem. > | If you are an Aldor programmer you can't imagine why that isn't a problem. > |

[Axiom-developer] Statistik Wiki implementation of Axiom interface

Markus Cozowicz has implemented a MediaWiki interface for Axiom. This allows Axiom to be used on MediaWiki (the same wiki software as used by Wikipedia) just like we use it now on the Axiom Wiki. I just had a chance to get back to this and take a closer look. I think it is great! Please see: h

Re: [Axiom-developer] Successful build-improvements compilation

On Fri, 10 Aug 2007, Bill Page wrote: | On 10 Aug 2007 11:05:33 -0500, Gabriel Dos Reis wrote: | > | > Issue tracked down and fixed. Patch installed at revision 704. | > | | Thanks! It works now. :-) Thanks for the report. -- Gaby ___ Axiom-devel

Re: [Axiom-developer] Successful build-improvements compilation

On 10 Aug 2007 11:05:33 -0500, Gabriel Dos Reis wrote: > > Issue tracked down and fixed. Patch installed at revision 704. > Thanks! It works now. :-) Regards, Bill Page. ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongn

[Axiom-developer] 20070810.01.tpd.patch

--git a/changelog b/changelog index 962132e..7cbe49b 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,65 @@ +20070810 tpd src/interp/metameta.lisp removed (unused) +20070810 tpd src/interp/ccl-depsys.lsp remove metameta +20070810 tpd src/interp/parsing.lisp remove metameta +20070810 tpd src/interp

[Axiom-developer] Re: bootstrap Meta/Boot

On 8/10/07, [EMAIL PROTECTED] <[EMAIL PROTECTED]> wrote: > ... > In any case I've distributed the original sources to the world. Since > you raised the issue it appears that you would rather have a different > building strategy than we currently use. You have the original > sources so you're welc

Re: [Axiom-developer] bootstrap Meta/Boot

[EMAIL PROTECTED] writes: [...] | The bootstrap-from-Axiom issue is not related to the CCL change. | Building Axiom from Axiom is ok if you own the whole project. But | requiring a running Axiom to build Axiom was not a viable open source | strategy. I didn't see a way to distribute sources that

[Axiom-developer] bootstrap Meta/Boot

Mike was certainly very helpful in the early effort to get things running and I intend no criticism of either his efforts or NAG. What you said was: > Other emails on this list from Mike Dewar of NAG have made it clear > that NAG would have had no objections to releasing an open source > version o

[Axiom-developer] B-MDEF

Tim -- The SBCL compiler does not like the definition of B-MDEF in def.lisp: (defun B-MDEF (FORM SIGNATURE $BODY) (declare (ignore SIGNATURE)) (let* ($OpAssoc ($op (first form)) (argl (cdr form)) (GARGL (MAPCAR '(LAMBDA (X) (GENSYM)) ARGL)) ($BODY (SUBLI

[Axiom-developer] Re: Definition of big float marker

On Fri, 10 Aug 2007, [EMAIL PROTECTED] wrote: | The things you're finding are either | in dead code or are redefinitions affected by file load order. OK. Having all files in Axiom being compiled and properly setting up dependencies is a good way of discovering many scar

[Axiom-developer] Definition of big float marker

I think you're seeing symptoms of the massive amount of change that happened in the scratchpad project. We had so many "new" changes that the word "new" (as in the new-new-new-new boot parser) lost all meaning. The things you're finding are either in dead code or are redefinitions affected by file

[Axiom-developer] Re: bootstrap Meta/Boot

http://lists.nongnu.org/archive/html/axiom-developer/2005-11/msg00211.html From: Mike Dewar Subject:Re: [Axiom-developer] letting my mud settle Date: Wed, 9 Nov 2005 10:40:09 + User-agent: Mutt/1.4.1i On Tue, Nov 08, 2005 at 12:09:23PM -0500, Bill Page wrote: > I am not aware

[Axiom-developer] Definition of big float marker

Tim -- $BFtag has conflicting settings. In bootfuns.lisp, it is defined as (def-boot-val |$BFtag| '-BF- "big float marker") However, setq.lisp want to set it at (setq |$BFtag| '|:BF:|) Brute force grep reveals both postprop.lisp and property.lisp want '|:BF:|. -- Ga

[Axiom-developer] Use of $

Tim -- The file spad.lisp contains the following line at toplevel: ;; the following initialization of $ must not be a defvar ;; since that make $ special (setq $ '$) ;; used in def of Ring which is Algebra($) What is the problem it is intended to solve, and how does that solve the pro

RE: [Axiom-developer] |New,ENTRY,2|

On Fri, 10 Aug 2007, Weiss, Juergen wrote: | Hi, | | Tim is probably innocent of this one and the last one. Ah, OK. That file listed his name as author, so I assumed he is to be blamed :-) :-) | This code as not | been changed in at least the last 16 years. And even if he is not -- | it's | so

[Axiom-developer] NewSYSTOK

Tim -- There is this line in spad.lisp (SETQ SINGLINEMODE T) ; SEE NewSYSTOK Where is NewSYSTOK? -- Gaby ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

RE: [Axiom-developer] |New,ENTRY,2|

Hi, Tim is probably innocent of this one and the last one. This code as not been changed in at least the last 16 years. And even if he is not -- it's so long ago that it certainly became time-barred. Regards Juergen P.S.: Most of this broken code is probably not used - but you already know that

Re: [Axiom-developer] bootstrap Meta/Boot

[EMAIL PROTECTED] writes: | Tim writes: | >> Writing Boot to generate Lisp is like writing Fortran to generate Aldor. | >> If you are a Fortran programmer you won't see why that is a problem. | >> If you are an Aldor programmer you can't imagine why that isn't a problem. | | Gaby writes: | > Proo

[Axiom-developer] bootstrap Meta/Boot

Tim writes: >> Writing Boot to generate Lisp is like writing Fortran to generate Aldor. >> If you are a Fortran programmer you won't see why that is a problem. >> If you are an Aldor programmer you can't imagine why that isn't a problem. Gaby writes: > Proof by analogy is fraud. Yes, it is. Reaso

[Axiom-developer] $traceflag

Tim -- I believe the use of $TRACEFLAG in the routine S-PROCESS (spad.lisp) is a typo for |$TraceFlag|. -- Gaby ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

[Axiom-developer] bootstrap Meta/Boot

Bill writes: > Well, actually I think that was just a misunderstanding on Tim's part. > Other emails on this list from Mike Dewar of NAG have made it clear > that NAG would have had no objections to releasing an open source > version of Axiom that required a running Axiom to compile. Please refere

Re: [Axiom-developer] bootstrap Meta/Boot

[EMAIL PROTECTED] writes: [...] | The "human readable" language is English. Well, that is probably when one discounts other natural languages around. -- Gaby ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailma

Re: [Axiom-developer] bootstrap Meta/Boot

[EMAIL PROTECTED] writes: [...] | Writing Boot to generate Lisp is like writing Fortran to generate Aldor. | If you are a Fortran programmer you won't see why that's a problem. | If you are an Aldor programmer you can't imagine why that isn't a problem. | | But you can't make Fortran programmers

[Axiom-developer] bootstrap Meta/Boot

> BTW, why do you think it is so essential that the underlying language of > Axiom must be LISP? I don't. In fact, we've had discussions about using Aldor all the way down. I don't have the time to rewrite everything in Aldor. But it already is in Lisp. Boot is just syntactic sugar for Lisp whi

Re: [Axiom-developer] Successful build-improvements compilation

"Bill Page" <[EMAIL PROTECTED]> writes: | On 8/10/07, Gabriel Dos Reis wrote: | > On Fri, 10 Aug 2007, Ralf Hemmecke wrote: | > | > | Maybe I should start from scratch? | > | > | > Yes, please try that one. | > I don't see that failure here. | > | > The reason I was not seeing the previous failure

Re: [Axiom-developer] bootstrap Meta/Boot

On Fri, 10 Aug 2007, C Y wrote: | --- Gabriel Dos Reis <[EMAIL PROTECTED]> wrote: | | > However, active proponents of Lisp rewrite have been very busy | > replacing readable Boot codes with unreadable Lisp captured from | > bootsys. As a case in point, people can admire bookvol5. | | FWIW, in

Re: [Axiom-developer] bootstrap Meta/Boot

--- Gabriel Dos Reis <[EMAIL PROTECTED]> wrote: > However, active proponents of Lisp rewrite have been very busy > replacing readable Boot codes with unreadable Lisp captured from > bootsys. As a case in point, people can admire bookvol5. FWIW, in my case that's not what I mean when I refer to

Re: [Axiom-developer] Re: bootstrap Meta/Boot

--- "M. Edward (Ed) Borasky" <[EMAIL PROTECTED]> wrote: > I may have that buried somewhere -- at one point I acquired just > about everything I could on Forth, and I never threw it away. What > was the title/author/date? A couple of other paths: The papers, which I can't find: http://portal.acm.

Re: [Axiom-developer] Successful build-improvements compilation

On Fri, 10 Aug 2007, Bill Page wrote: | On 8/10/07, Gabriel Dos Reis wrote: | > On Fri, 10 Aug 2007, Ralf Hemmecke wrote: | > | > | Maybe I should start from scratch? | > | > | > Yes, please try that one. | > I don't see that failure here. | > | > The reason I was not seeing the previous failure w

[Axiom-developer] |New,ENTRY,2|

Tim -- Consider the routine (defun |New,ENTRY,2| (RULE FN INPUTSTREAM) (declare (special INPUTSTREAM)) (let (zz) (INITIALIZE) (SETQ $previousTime (TEMPUS-FUGIT)) (setq ZZ (CONVERSATION '|PARSE-NewExpr| '|process|)) (REMFLAG |boot-NewKEY| 'KEY) INPUTSTREAM)) fr

Re: [Axiom-developer] Successful build-improvements compilation

On 8/10/07, Gabriel Dos Reis wrote: > On Fri, 10 Aug 2007, Ralf Hemmecke wrote: > > | Maybe I should start from scratch? > > > Yes, please try that one. > I don't see that failure here. > > The reason I was not seeing the previous failure was that my $(bindir) was > always /usr/local/bin, which alw

[Axiom-developer] Variables in traceComp

Tim -- Consider the function traceComp from spad.lisp (defun |traceComp| () (SETQ |$compCount| 0) (EMBED '|comp| '(LAMBDA (X Y Z) (PROG (U) (SETQ |$compCount| (1+ |$compCount|)) (SETQ |yesOrNo| (if (SETQ U (|comp| X Y Z))

[Axiom-developer] bootstrap Meta/Boot

Tim wrote: >> Fortunately in the brave new world we seem to inhabit, there is no >> sticking place for your objection. You can create your own branch and >> thus recontruct Meta in Meta and Boot in Boot. Ralf wrote: > And whoever wants to rewrite everything in LISP should create a new > branch and

[Axiom-developer] Re: [fricas-devel] Re: Sage Build, a few more hiccups

On Fri, 10 Aug 2007, William Stein wrote: [...] | > | > ++ | > | > Errors with Axiom: | > | [...] | | I won't say anything further about this because: | (1) My understanding is that Axiom has never been ported to OSX; | they only support | Linux and Windows. So it's sh

Re: [Axiom-developer] Successful build-improvements compilation

On Fri, 10 Aug 2007, Ralf Hemmecke wrote: | Maybe I should start from scratch? Yes, please try that one. I don't see that failure here. The reason I was not seeing the previous failure was that my $(bindir) was always /usr/local/bin, which always existed. However, the hypertex binaries are se

Re: [Axiom-developer] Re: bootstrap Meta/Boot

On 8/10/07, C Y wrote: > --- "M. Edward (Ed) Borasky" <[EMAIL PROTECTED]> wrote: > > > Well, considering the long history of Axiom and its predecessors, > > that's not surprising. But once you *have* Axiom capable of compiling > > itself, do you really need the underlying scaffolding, or can you >

Re: [Axiom-developer] Successful build-improvements compilation

Since you've only changed something to the "install" target, I simply said (-r703) I removed /home/hemmecke/scratch/AXIOM completely. woodpecker:~/OTHER/Axiom/out-of-source-build-improvements> ~/SVK/axiom/branches/build-improvements/configure --prefix=/home/hemmecke/scratch/AXIOM make instal

Re: [Axiom-developer] Lisp in Small Pieces

On 8/10/07, C Y wrote: > Not at $4 any more. I didn't notice it in time. Arrrgh. > :-) I think I got the last one. When I went to amazon.ca it said: 1 new copy for $3.99 and about 10 used copies for about $70. I was afraid the my order would be cancelled by the time I got to check-out but in the

Re: [Axiom-developer] Successful build-improvements compilation

Ralf Hemmecke <[EMAIL PROTECTED]> writes: | make install | | I get the following: | | woodpecker:~/scratch/AXIOM>ls -l | total 12 | -rwxr-xr-x 1 hemmecke hemmecke 4953 2007-08-08 14:52 bin | drwx-- 3 hemmecke hemmecke 4096 2007-08-08 14:51 lib | | Yes, "bin" is the axiom shell script not a

[Axiom-developer] Re: bootstrap Meta/Boot

[EMAIL PROTECTED] wrote: >> Derive > > Derive is a fantastic program and often outperformed everything else. > It is historically interesting, in the "Newton's Notebooks" sense. > > I have spent the last few months trying to convince TI to either > release the original derive lisp code (whic

Re: [Axiom-developer] Re: bootstrap Meta/Boot

"M. Edward (Ed) Borasky" <[EMAIL PROTECTED]> writes: | Gabriel Dos Reis wrote: | | > Now, it you know Spad, them I claim you know Boot. | | Uh huh ... and if I know Lisp 1.5, I know Common Lisp and Scheme, right? I don't know. What do you think? [...] | I'm not sure how the inventors of it f

Re: [Axiom-developer] bootstrap Meta/Boot

C Y <[EMAIL PROTECTED]> writes: [...] | > I wonder, how many people would use such a system. And how many | > people would be able to maintain it. | > | > Tim, if you are so much concered with bootstrapping, what is wrong in | > having a very small lisp machinary to get to some state where one |

Re: [Axiom-developer] Re: bootstrap Meta/Boot

Gabriel Dos Reis wrote: > Now, it you know Spad, them I claim you know Boot. Uh huh ... and if I know Lisp 1.5, I know Common Lisp and Scheme, right? If I know Algol 60, I know CPL, BCPL, B and C? In some sense, yes, I do. I'm simply saying that it's a tremendous burden to need to deal with more

Re: [Axiom-developer] Re: bootstrap Meta/Boot

C Y wrote: >> -- I much prefer, as you seem to, higher-level abstractions in >> programming languages. You may need a hierarchy of languages to get >> there, but do you need it forever? > > The bootstrap problem occurs when languages become divorced from their > original implementations in another

Re: [Axiom-developer] bootstrap Meta/Boot

[EMAIL PROTECTED] writes: | No other language gets this right. That is a matter of opinion, and open to debate. -- Gaby ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] Re: bootstrap Meta/Boot

"M. Edward (Ed) Borasky" <[EMAIL PROTECTED]> writes: | [EMAIL PROTECTED] wrote: | >> But does it really need so many sub-languages? | > | > Well, that's a religious question. | > | > Some on the wailing list feel that Meta and Boot should be recovered, | > made strongly typed, and closer to the

Re: [Axiom-developer] bootstrap Meta/Boot

[EMAIL PROTECTED] writes: | > But does it really need so many sub-languages? | | Well, that's a religious question. | | Some on the wailing list feel that Meta and Boot should be recovered, | made strongly typed, and closer to the algebra language. On the plus | side it will be claimed that the

Re: [Axiom-developer] Re: bootstrap Meta/Boot

C Y <[EMAIL PROTECTED]> writes: [...] | Quite true. However, Lisp (at least in the eyes of some) offers a lot | in a single language. As does any modern assembly language. [...] | * I'm actually trying to get ahold of an old thesis on implementing a | small Lisp in Forth If you're going to

Re: [Axiom-developer] Re: bootstrap Meta/Boot

"M. Edward (Ed) Borasky" <[EMAIL PROTECTED]> writes: | Gabriel Dos Reis wrote: | | > In fact that is open to debate, by reality check. The only "good" | > Common Lisp compiler I know freely available is SBCL, and we don't | > support it right now. And Common Lisp actually gives you very little

Re: [Axiom-developer] bootstrap Meta/Boot

--- Ralf Hemmecke <[EMAIL PROTECTED]> wrote: > > Fortunately in the brave new world we seem to inhabit, there is no > > sticking place for your objection. You can create your own branch > > and thus reconstruct Meta in Meta and Boot in Boot. > > And whoever wants to rewrite everything is LISP s

Re: [Axiom-developer] aldor stream oddities

On 08/10/2007 10:20 AM, Franz Lehner wrote: On Fri, 10 Aug 2007, Bill Page wrote: What is a "sequence domain"? Can you give a brief explanation or a reference? see below On Fri, 10 Aug 2007, Martin Rubey wrote: Do you mean "potentially" infinite sequences of some ground ring, with componentwis

Re: [Axiom-developer] bootstrap Meta/Boot

Fortunately in the brave new world we seem to inhabit, there is no sticking place for your objection. You can create your own branch and thus reconstruct Meta in Meta and Boot in Boot. And whoever wants to rewrite everything is LISP should create a new branch and write Axiom in Common LISP so

Re: [Axiom-developer] aldor stream oddities

On Fri, 10 Aug 2007, Bill Page wrote: What is a "sequence domain"? Can you give a brief explanation or a reference? see below On Fri, 10 Aug 2007, Martin Rubey wrote: Do you mean "potentially" infinite sequences of some ground ring, with componentwise addition and scalar multiplication? Exactl

Re: [Axiom-developer] Lisp in Small Pieces

Not at $4 any more. I didn't notice it in time. Arrrgh. CY --- [EMAIL PROTECTED] wrote: > Lisp in Small Pieces, a fantastically well done literate document, > managed to beat out Harrry Potter on Amazon. And it is selling for > $4. > > > Tim > > > > > > __

Re: [Axiom-developer] Re: bootstrap Meta/Boot

--- "M. Edward (Ed) Borasky" <[EMAIL PROTECTED]> wrote: > Well, considering the long history of Axiom and its predecessors, > that's not surprising. But once you *have* Axiom capable of compiling > itself, do you really need the underlying scaffolding, or can you > take it down and just use the bu

Re: [Axiom-developer] Re: bootstrap Meta/Boot

--- Bill Page <[EMAIL PROTECTED]> wrote: > Apparently these problems can be solved but only with a radically > different build approach than is used now in Axiom, as demonstrated > by the Axiom fork project. Eventually, my understanding is we will head in a similar direction. > > Such a trend le