Re: [Axiom-developer] sequence

2007-08-01 Thread Gabriel Dos Reis
Gabriel Dos Reis <[EMAIL PROTECTED]> writes: | When compiling with an ANSI common lisp compiler, the use of "sequence" | in src/interp/parsing.lisp is resoled as referring to the standard symbol | sequence, which belongs to locked standard packages. I would suggest | to rename it to rule-sequence

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread Gabriel Dos Reis
On Wed, 1 Aug 2007, Stephen Wilson wrote: | Unfortunately, I read meaning into your initial comments about the | parser work which you may not have intended. I apologize for allowing | a debate to ensue which took a tone I would have much rather avoided. Apologies accepted. Let's move on techn

[Axiom-developer] sequence

2007-08-01 Thread Gabriel Dos Reis
When compiling with an ANSI common lisp compiler, the use of "sequence" in src/interp/parsing.lisp is resoled as referring to the standard symbol sequence, which belongs to locked standard packages. I would suggest to rename it to rule-sequence, and propagate the change down to the parser. -- Ga

[Axiom-developer] LastCxArg

2007-08-01 Thread Gabriel Dos Reis
It looks to me that the variable $LastCxArg in the routine /foobar from src/interp/spad.lisp is a type for |$LastCxArg|. -- Gaby ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread Stephen Wilson
Gaby, I am frustrated with the current environment in the Axiom community. It is a subjective opinion of mine that some comments you make are intended to be abrasive more than informative. I do try to look past this personal impression, and to seek opportunities for compromise and understanding.

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread Gabriel Dos Reis
On Thu, 2 Aug 2007, Ondrej Certik wrote: | > | So it cannot go to the Debian main distribution, and that of course is | > | a major problem, at least for me. | > | > The linux distribution I've been for a decade now has a button that | > let me install "non-open source" software of highly practica

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread Gabriel Dos Reis
On Wed, 1 Aug 2007, Stephen Wilson wrote: | > | The system is not extensible or flexible by any rational | > | measurement. | > | > I suspect it is more accurate to say: | > | > The system is not extensible or flexible by any Stephen Wilson's | > measurement. | > | > Care should be exerci

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread Gabriel Dos Reis
On Wed, 1 Aug 2007, Stephen Wilson wrote: | If you dont understand the issues, thats your problem. No, I have no problem. You have a problem. -- Gaby ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailm

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread Gabriel Dos Reis
On Wed, 1 Aug 2007, Stephen Wilson wrote: | Gabriel Dos Reis <[EMAIL PROTECTED]> writes: | | > (iii) of course, the answer is yes. As I mentioned earlier, there are two | > parser in Axiom, an old and a new. You're looking at the old compiler. | | Of course I am looking at the old compiler

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread Ondrej Certik
> | So it cannot go to the Debian main distribution, and that of course is > | a major problem, at least for me. > > The linux distribution I've been for a decade now has a button that > let me install "non-open source" software of highly practical value to me. The technical thing is not a problem

Re: [Axiom-developer] gclcvs-2.7.0 and Axiom

2007-08-01 Thread Stephen Wilson
Camm Maguire <[EMAIL PROTECTED]> writes: > Greetings! Will try to take a look this evening -- thanks so much for > the report! If you will be working with the modified version of Silver to investigate, then the following patch should be applied on top of the previous patches I have provided. T

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread Stephen Wilson
Gabriel Dos Reis <[EMAIL PROTECTED]> writes: > (iii) of course, the answer is yes. As I mentioned earlier, there are two > parser in Axiom, an old and a new. You're looking at the old compiler. Of course I am looking at the old compiler, it is the only compiler. It accepts one AST, not two.

Re: [Axiom-developer] gclcvs-2.7.0 and Axiom

2007-08-01 Thread Camm Maguire
Greetings! Will try to take a look this evening -- thanks so much for the report! More later, -- Camm Maguire[EMAIL PROTECTED] == "The earth is but one country, and mankind its cit

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread Gabriel Dos Reis
On Wed, 1 Aug 2007, Stephen Wilson wrote: | Gabriel Dos Reis <[EMAIL PROTECTED]> writes: | > (1) Which, of course, are untrue. You asked the following questions: (i) Can it incrementally parse input as the user is typing, thus making it a usable component in an IDE? (ii) Is the

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread Stephen Wilson
Gabriel Dos Reis <[EMAIL PROTECTED]> writes: > (1) Which, of course, are untrue. The SPAD parser/lexer is line oriented, which means it does not incrementally parse user input by design. The SPAD parser drops column information after the lexical stage (see PARSE-NewExpr). The AST is not docume

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread Gabriel Dos Reis
On Wed, 1 Aug 2007, C Y wrote: | > Active people from both community will be attending the Aldor | > workshop. That is an excellent opportunity to further the handling | > of pressing issues, directions, etc. I would have thought interested | > people would be very willing to take on the opportu

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread C Y
--- Gabriel Dos Reis <[EMAIL PROTECTED]> wrote: > > I have not seen anyone advocating to leave issues hanging. So long as we leave the question of using or not using Aldor in Axiom undecided as a project, it is hanging. > Active people from both community will be attending the Aldor > work

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread Gabriel Dos Reis
On Wed, 1 Aug 2007, Stephen Wilson wrote: | OK! You caught me! I did not mean too. Oh well, ainsi va la vie. [...] | But for the record, the answers to my original questions are no, no, | no, and no. (1) Which, of course, are untrue. (2) And, as expected, your questions were rhetorical. --

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread Stephen Wilson
Gabriel Dos Reis <[EMAIL PROTECTED]> writes: > On Wed, 1 Aug 2007, Stephen Wilson wrote: > > | Gabriel Dos Reis <[EMAIL PROTECTED]> writes: > | > Excellent. For some reasons, I was under the impression that you looked > | > at the code before starting your new compiler. > | > | Speculation? >

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread Gabriel Dos Reis
On Wed, 1 Aug 2007, Stephen Wilson wrote: | Gabriel Dos Reis <[EMAIL PROTECTED]> writes: | > Excellent. For some reasons, I was under the impression that you looked | > at the code before starting your new compiler. | | Speculation? I did not speculate. That is why I said if you read the code,

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread Stephen Wilson
Gabriel Dos Reis <[EMAIL PROTECTED]> writes: > Excellent. For some reasons, I was under the impression that you looked > at the code before starting your new compiler. Speculation? Steve ___ Axiom-developer mailing list Axiom-developer@nongnu.org ht

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread Gabriel Dos Reis
On Wed, 1 Aug 2007, Stephen Wilson wrote: | Gabriel Dos Reis <[EMAIL PROTECTED]> writes: | > You can answer all those questions by looking at the source code. | | I have looked at the source code. Excellent. For some reasons, I was under the impression that you looked at the code before startin

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread Stephen Wilson
Gabriel Dos Reis <[EMAIL PROTECTED]> writes: > You can answer all those questions by looking at the source code. I have looked at the source code. There is a difference in terms of functionality and applicability which the new parser is designed to accommodate and which the old parsers are not.

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread Gabriel Dos Reis
On Wed, 1 Aug 2007, C Y wrote: | From my standpoint, the Aldor issue is now closed - they have chosen an | incompatible license (which is their right, no problem) and we can now | proceed to improve/redo the existing one without fear that the work is | unnecessary. Resolution either way is better

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread C Y
--- Gabriel Dos Reis <[EMAIL PROTECTED]> wrote: > > No amount of emails or speculations to this list will have any > impact. Not on Aldor, no. My PRIMARY concern is what impact Aldor will have on the Axiom project, and that CAN be delt with on this list - it must be. >From my standpoint, the Ald

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread Gabriel Dos Reis
On Wed, 1 Aug 2007, Stephen Wilson wrote: | Gabriel Dos Reis <[EMAIL PROTECTED]> writes: | | > Stephen Wilson <[EMAIL PROTECTED]> writes: | > | > [...] | > | > | There is also the question of being able to provide the compiler | > | components in the form of a library which can be used by other

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread Stephen Wilson
Stephen Wilson <[EMAIL PROTECTED]> writes: > Gabriel Dos Reis <[EMAIL PROTECTED]> writes: > > > Stephen Wilson <[EMAIL PROTECTED]> writes: > > > > [...] > > > > | There is also the question of being able to provide the compiler > > | components in the form of a library which can be used by othe

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread Gabriel Dos Reis
On Wed, 1 Aug 2007, C Y wrote: | --- Gabriel Dos Reis <[EMAIL PROTECTED]> wrote: | | > On Wed, 1 Aug 2007, C Y wrote: | > | > | Whatever the intent may be, the legal text of the license itself is | > | what will ultimately govern what can and cannot be done, within the | > | limits of the law.

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread Stephen Wilson
Gabriel Dos Reis <[EMAIL PROTECTED]> writes: > Stephen Wilson <[EMAIL PROTECTED]> writes: > > [...] > > | There is also the question of being able to provide the compiler > | components in the form of a library which can be used by other aspects > | Axiom. For example, one would be able to use

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread C Y
--- Gabriel Dos Reis <[EMAIL PROTECTED]> wrote: > On Wed, 1 Aug 2007, C Y wrote: > > | Whatever the intent may be, the legal text of the license itself is > | what will ultimately govern what can and cannot be done, within the > | limits of the law. That is why I focus on the text of the licens

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread Gabriel Dos Reis
Stephen Wilson <[EMAIL PROTECTED]> writes: [...] | There is also the question of being able to provide the compiler | components in the form of a library which can be used by other aspects | Axiom. For example, one would be able to use the new parser and | (forthcoming) type checker to support a

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread Stephen Wilson
Didier, The idea of improving the current Axiom compiler is itself not new (Aldor is an example), but this particular effort is only a few months old. Consequently, it is not well developed at this point. In concrete terms, we have a new parser which can handle a good subset (say 90%) of the cur

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread Gabriel Dos Reis
C Y <[EMAIL PROTECTED]> writes: [...] | So you don't agree with Tim's analysis here? | http://lists.nongnu.org/archive/html/axiom-developer/2007-07/msg00147.html | | I suppose there's no reason not to ask NAG, but clearly they aren't | selling Axiom any longer and their commercial trademark HAS

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread Gabriel Dos Reis
On Wed, 1 Aug 2007, Stephen Wilson wrote: | Gabriel Dos Reis <[EMAIL PROTECTED]> writes: | > CY wrote: | > | Indeed, Steve's new compiler may end up looking like that - we'll see. | > | If Aldor and the new compiler are both able to compile the Axiom | > | Algebra that's the best case scenario. |

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread Stephen Wilson
Gabriel Dos Reis <[EMAIL PROTECTED]> writes: > | Indeed, Steve's new compiler may end up looking like that - we'll see. > | If Aldor and the new compiler are both able to compile the Axiom > | Algebra that's the best case scenario. > > I think Aldor.org would not mind a second implementation -- a

[Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread didier deshommes
(Sorry, meant to send this to the whole list) -- Forwarded message -- From: didier deshommes <[EMAIL PROTECTED]> Date: 1 août 2007 11:53 Subject: Re: [Axiom-developer] Axiom meeting at ISSAC To: Stephen Wilson <[EMAIL PROTECTED]> 31 Jul 2007 21:18:26 -0400, Stephen Wilson <[EMAIL

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread Gabriel Dos Reis
On Wed, 1 Aug 2007, C Y wrote: | | --- Gabriel Dos Reis <[EMAIL PROTECTED]> wrote: | | > C Y <[EMAIL PROTECTED]> writes: | > | > [...] | > | > | If Axiom depended on Aldor, it could not be used for such an | > | undertaking. | > | > Nobody prevents you from building an Aldor compiler, written

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread Gabriel Dos Reis
On Wed, 1 Aug 2007, C Y wrote: | Whatever the intent may be, the legal text of the license itself is | what will ultimately govern what can and cannot be done, within the | limits of the law. That is why I focus on the text of the license | itself - intent lasts only as long as the individuals do

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread C Y
--- Gabriel Dos Reis <[EMAIL PROTECTED]> wrote: > C Y <[EMAIL PROTECTED]> writes: > > [...] > > | If Axiom depended on Aldor, it could not be used for such an > | undertaking. > > Nobody prevents you from building an Aldor compiler, written in Lisp > for example. Indeed, Steve's new compile

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread C Y
--- Gabriel Dos Reis <[EMAIL PROTECTED]> wrote: > C Y <[EMAIL PROTECTED]> writes: > > [...] > > | If I understand correctly the terms of > | this license, any commercial activity around the code base can be > | undertaken ONLY by those with the exclusive rights to do so. > > We can spend lot of

[Axiom-developer] gclcvs-2.7.0 and Axiom

2007-08-01 Thread Stephen Wilson
Hello Camm, I am interested in your opinion about the following error, which is occurring for me during the compilation of src/algebra/tree.spad: --- Error: Fast links are on: do (si::use-fast-links nil) for debugging Signalled by |NEWLOOKUPINADDCHAIN|. Condition in |newLookupInAddChain|

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread Gabriel Dos Reis
C Y <[EMAIL PROTECTED]> writes: [...] | If I understand correctly the terms of | this license, any commercial activity around the code base can be | undertaken ONLY by those with the exclusive rights to do so. We can spend lot of time speculating; I would have thoug

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread Gabriel Dos Reis
C Y <[EMAIL PROTECTED]> writes: [...] | If Axiom depended on Aldor, it could not be used for such an | undertaking. Nobody prevents you from building an Aldor compiler, written in Lisp for example. -- Gaby ___ Axiom-developer mailing list Axiom-de

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread Gabriel Dos Reis
"Ondrej Certik" <[EMAIL PROTECTED]> writes: [...] | So it cannot go to the Debian main distribution, and that of course is | a major problem, at least for me. The linux distribution I've been for a decade now has a button that let me install "non-open source" software of highly practical value t

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread Gabriel Dos Reis
C Y <[EMAIL PROTECTED]> writes: [...] | That's probably a moot point, at least at the present time - why would | anyone want to fork Aldor? Why would anyone want to fork Axiom? | My opinion is that the non-commercial restriction is a no-go - I would | prefer to work with Steven on his new langu

Re: [Axiom-developer] Axiom meeting at ISSAC

2007-08-01 Thread C Y
--- Bill Page <[EMAIL PROTECTED]> wrote: > > > Thus, open Aldor ideally could make significant strides which > > > would be available to the commercial version, but the latter > > > could "embrace and extend" the former, effectively co-opting this > > > work and potentially draining open Aldor o