RE: [Aldor-l] [Axiom-developer] "has" and "with" (was curious algebrafailure)

2007-08-13 Thread Weiss, Juergen
I don't think that the compiler automatically applies the coerce functions. Haven't checked to substantiate that claim though. Regards Juergen Weiss Juergen Weiss | Universitaet Mainz, Zentrum fuer Datenverarbeitung, [EMAIL PROTECTED]| 55099 Mainz, Tel: +49(6131)39-26361, FAX: +

RE: [Axiom-developer] "has" and "with" (was curious algebra failure)

2007-08-12 Thread Weiss, Juergen
above. Regards Juergen Weiss Juergen Weiss | Universitaet Mainz, Zentrum fuer Datenverarbeitung, [EMAIL PROTECTED]| 55099 Mainz, Tel: +49(6131)39-26361, FAX: +49(6131)39-26407 > -Original Message- > From: [EMAIL PROTECTED] > [mailto:[EMAIL PROTECTED] > On Behalf Of Gabrie

RE: [Axiom-developer] A curious algebra failure

2007-08-12 Thread Weiss, Juergen
know that I have a document describing type equivalence for Scratchpad II. Problem is I cannot find it. :-(. Regards Juergen Weiss Juergen Weiss | Universitaet Mainz, Zentrum fuer Datenverarbeitung, [EMAIL PROTECTED]| 55099 Mainz, Tel: +49(6131)39-26361, FAX: +49(6131)39-26407

RE: [Axiom-developer] A curious algebra failure

2007-08-12 Thread Weiss, Juergen
alists could contain atomic properties and associations as well. By the way, I think the line must read v:= ASSOC(p,al) => s=rest v and al this makes much more sense logically and should typecheck with the pmatch(s,p) == pmatchWithSl(s,p,[nil]) Regard

RE: [Axiom-developer] Re: ChangeLog on Silver

2007-08-11 Thread Weiss, Juergen
vote for the change. Regards Juergen Weiss Juergen Weiss | Universitaet Mainz, Zentrum fuer Datenverarbeitung, [EMAIL PROTECTED]| 55099 Mainz, Tel: +49(6131)39-26361, FAX: +49(6131)39-26407 > -Original Message- > From: [EMAIL PROTECTED] > [mailto:[EMAIL PROTECTED] >

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

2007-08-10 Thread Weiss, Juergen
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] Re: newrule from metalex.lisp

2007-08-09 Thread Weiss, Juergen
new parse could be the better solution. Regards Juergen Weiss Juergen Weiss | Universitaet Mainz, Zentrum fuer Datenverarbeitung, [EMAIL PROTECTED]| 55099 Mainz, Tel: +49(6131)39-26361, FAX: +49(6131)39-26407 > -Original Message- > From: Gabriel Dos Reis [mailto:[EMAIL PRO

RE: [Axiom-developer] Re: newrule from metalex.lisp

2007-08-09 Thread Weiss, Juergen
like this setup and removed some files. The remaining parts do not make much sense anymore. So one solution is to eliminate the remnants, the other to get the files from the archives (tar file) and add some rules in the Makefiles. Regards Juergen Weiss Juergen Weiss | Universitaet Mainz

RE: [Axiom-developer] Axiom meeting at ISSAC

2007-08-03 Thread Weiss, Juergen
27;' even with Scratchpad II. As a replacement (for the old compiler and the never used new one) A# was developed (later known as Aldor) -- around 1991 and 1992. So this was before Axiom became a commercial product by NAG and long before Axiom became open souce. Regards Juergen Wei

RE: [Axiom-developer] Axiom community goals

2007-07-07 Thread Weiss, Juergen
if there are more than zero. I would assume that most people on the list did not openly question your goals in respect for your work and your dedication to the Axiom project. But you should not assume that your goals are their goals. Regards Juergen Weiss Juergen Weiss | Universitaet Mainz

RE: [Axiom-developer] Re: [Gcl-devel] Re: gcl-2.7.0 on FreeBSD

2007-07-06 Thread Weiss, Juergen
I think in /boot/loader.conf you can set the maximum data segment size to a higher value (default is 512 MBytes), for example to 1 GByte by kern.maxdsiz=1073741824 You have to reboot the system. Regards Juergen Weiss Juergen Weiss | Universitaet Mainz, Zentrum fuer Datenverarbeitung

[Axiom-developer] RE: out of source builds

2007-07-02 Thread Weiss, Juergen
deficiency, which would impede our work more than using several systems. Regards Juergen Weiss Juergen Weiss | Universitaet Mainz, Zentrum fuer Datenverarbeitung, [EMAIL PROTECTED]| 55099 Mainz, Tel: +49(6131)39-26361, FAX: +49(6131)39-26407 > -Original Message- > From:

RE: [Axiom-developer] out of source builds

2007-07-01 Thread Weiss, Juergen
My 5 cents worth of advice: When I had a look at the build system of Scratchpad maybe 15 years ago, I got the clear impression, that it did not follow best practice at that time -- it certainly does not follow best practice today. So we should be glad, that some people took the challenge to rebuil

RE: [Axiom-developer] Re: [Axiom-commit] SF.net SVN: axiom: [491]branches/build-improvements

2007-04-08 Thread Weiss, Juergen
wondered why nobody recompiled the system with better error checking, to localize these bugs. I'm glad you did that. Greetings Juergen Weiss Juergen Weiss | Universitaet Mainz, Zentrum fuer Datenverarbeitung, [EMAIL PROTECTED]| 55099 Mainz, Tel: +

RE: [Axiom-developer] Obfuscated Boot Code Contest

2007-04-04 Thread Weiss, Juergen
Juergen Weiss | Universitaet Mainz, Zentrum fuer Datenverarbeitung, [EMAIL PROTECTED]| 55099 Mainz, Tel: +49(6131)39-26361, FAX: +49(6131)39-26407 > -Original Message- > From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] > Sent: Wednesday, April 04, 2007 7:58 PM > To: We

RE: [Axiom-developer] Obfuscated Boot Code Contest

2007-04-04 Thread Weiss, Juergen
The replacements GET --> GETL, READ --> VMREAD indicate, that they were introduced to circumvent different semantics of GET and READ between VMLISP and COMMON LISP. Not clear about the others. Regards Juergen Weiss Juergen Weiss | Universitaet Mainz, Zentrum fuer Datenverarbeitung,

RE: [Axiom-developer] ncloopProcess

2007-01-17 Thread Weiss, Juergen
Hi, I think, before 1990 someone wrote a new scratchpad compiler in lisp. It seems that it was not better than the old one. So the code was abandoned and the A#/Aldor compiler was developed around 1990. Maybe Tim knows more details. Regards Juergen Weiss Juergen Weiss | Universitaet Mainz

RE: [Axiom-developer] ncloopProcess

2007-01-17 Thread Weiss, Juergen
As far as I know, the nc functions are from the "New Compiler", which does not exist anymore. It should have replaced the old compiler, which is the current SPAD compiler. This does not mean, that the functions might be used somewhere :-(. Regards Juergen Weiss Juergen Weiss | Un

RE: [Axiom-developer] Re: Axiom for OS X and the BSDs

2006-10-16 Thread Weiss, Juergen
will be > fixed later > by using MAKEFLAGS. > > -- Gaby All BSD systems have Gnu Make (gmake) as a port (package). And many other ports depend on it. So Axiom should just require that port as well. Regards Juergen Weiss Juergen Weiss | Universitaet Mainz, Zentrum fuer Datenver

RE: [Axiom-developer] Boot

2006-10-02 Thread Weiss, Juergen
ar direction of development, with the uncertainty if Aldor will be available freely, I find it difficult to suggest, which parser to drop. Regards Juergen Weiss Juergen Weiss | Universitaet Mainz, Zentrum fuer Datenverarbeitung, [EMAIL PROTECTED]| 55099 Mainz, Tel: +49(6131)39-26361, FAX: +4

RE: [Axiom-developer] Boot

2006-10-02 Thread Weiss, Juergen
too ambitious for the number of people contributing. Besides, for a total rewrite one should consider other alternatives as well (aldor, ). Regards Juergen Weiss Juergen Weiss | Universitaet Mainz, Zentrum fuer Datenverarbeitung, [EMAIL PROTECTED]| 55099 Mainz, Tel: +49(6131)39-26361, FAX

RE: [Axiom-developer] boottocl

2006-10-02 Thread Weiss, Juergen
changed from alists to hashes. Besides -- compile times on gcl are longer than on other lisp platforms, due the generation of c code and the gcc step. The easy portabily of gcl has a price. Regards Juergen Weiss Juergen Weiss | Universitaet Mainz, Zentrum fuer Datenverarbeitung, [EMAIL PROTECTED

RE: [Axiom-developer] sbcl and Axiom

2006-07-26 Thread Weiss, Juergen
7;car, ) in the sources (lisp and boot). I had to change it to map(function car, .. ) in boot and map(#'car .. ) in lisp. Not a big deal but distributed all over the sources. This change should be made for gcl as well. Regards Juergen Weiss Juergen Weiss | Universitaet Mainz, Ze

RE: [Axiom-developer] infinite loop from Makefile

2005-11-19 Thread Weiss, Juergen
The following Makefile works for me (under FreeBSD) test: @- echo '(progn (print 5) (quit))' | clisp Regards Juergen Weiss Juergen Weiss | Universitaet Mainz, Zentrum fuer Datenverarbeitung, [EMAIL PROTECTED]| 55099 Mainz, Tel: +49(6131)39-26361, FAX: +49(613

RE: [Axiom-developer] axiom common lisp

2005-11-17 Thread Weiss, Juergen
Sorry that I was so harsh. Your answer was mainly to C Y, to me only as a CC, but I kind of took it as directed to me. Email communication is tricky ;-) Regards Juergen Weiss Juergen Weiss | Universitaet Mainz, Zentrum fuer Datenverarbeitung, [EMAIL PROTECTED]| 55099 Mainz, Tel: +49(6131

RE: [Axiom-developer] axiom common lisp

2005-11-17 Thread Weiss, Juergen
Have done it 2 years ago. I won't do it again. Juergen Weiss Juergen Weiss | Universitaet Mainz, Zentrum fuer Datenverarbeitung, [EMAIL PROTECTED]| 55099 Mainz, Tel: +49(6131)39-26361, FAX: +49(6131)39-26407 > -Original Message- > From: root [mailto:[EMAIL PROTECT

RE: [Axiom-developer] axiom common lisp

2005-11-17 Thread Weiss, Juergen
> -Original Message- > From: Tim Daly Jr. [mailto:[EMAIL PROTECTED] > Sent: Thursday, November 17, 2005 11:57 AM > To: Weiss, Juergen > Cc: [EMAIL PROTECTED]; > [EMAIL PROTECTED]; axiom-developer@nongnu.org > Subject: RE: [Axiom-developer] axiom common lisp > &g

RE: [Axiom-developer] axiom common lisp

2005-11-17 Thread Weiss, Juergen
port 2 years ago. Should not take more than 1/2 a day. Regards Juergen Weiss Juergen Weiss | Universitaet Mainz, Zentrum fuer Datenverarbeitung, [EMAIL PROTECTED]| 55099 Mainz, Tel: +49(6131)39-26361, FAX: +49(6131)39-26407 > -Original Message- > From: [EMAIL PRO

RE: [Axiom-developer] RE: Boot vs. Lisp

2005-11-06 Thread Weiss, Juergen
Dear Tim, > -Original Message- > From: root [mailto:[EMAIL PROTECTED] > Sent: Sunday, November 06, 2005 5:43 PM > To: Weiss, Juergen > Cc: [EMAIL PROTECTED]; axiom-developer@nongnu.org > Subject: Re: [Axiom-developer] RE: Boot vs. Lisp > > the first common lisp

RE: [Axiom-developer] RE: Boot vs. Lisp

2005-11-06 Thread Weiss, Juergen
Dear Bill, > -Original Message- > From: Bill Page [mailto:[EMAIL PROTECTED] > Sent: Wednesday, November 02, 2005 4:50 PM > To: Weiss, Juergen > Cc: axiom-developer@nongnu.org > Subject: RE: [Axiom-developer] RE: Boot vs. Lisp > > > Of course ANSI lisp includ

[Axiom-developer] RE: dependent Types

2005-11-06 Thread Weiss, Juergen
much to this. Regards Juergen Weiss Juergen Weiss | Universitaet Mainz, Zentrum fuer Datenverarbeitung, [EMAIL PROTECTED]| 55099 Mainz, Tel: +49(6131)39-26361, FAX: +49(6131)39-26407 > -Original Message- > From: [EMAIL PROTECTED] > [mailto:[EMAIL PROTECTED] On Behalf Of Mar

RE: [Axiom-developer] RE: Boot vs. Lisp

2005-11-06 Thread Weiss, Juergen
Dear Martin, > -Original Message- > From: [EMAIL PROTECTED] > [mailto:[EMAIL PROTECTED] On Behalf Of Martin Rubey > Sent: Wednesday, November 02, 2005 11:59 AM > To: Weiss, Juergen > Cc: axiom-developer@nongnu.org > Subject: Re: [Axiom-developer] RE: Boot vs. Lisp

RE: [Axiom-developer] RE: Boot vs. Lisp

2005-11-02 Thread Weiss, Juergen
n with the current developer base and the current developer model. At the current development speed it would take maybe 5 years or longer. And success would not be sure. Regards Juergen Weiss Juergen Weiss | Universitaet Mainz, Zentrum fuer Datenverarbeitung, [EMAIL PROTECTED]| 55

RE: [Axiom-developer] Aldor and Lisp

2005-10-22 Thread Weiss, Juergen
> -Original Message- > From: Bill Page [mailto:[EMAIL PROTECTED] > Sent: Saturday, October 22, 2005 3:53 AM > To: Weiss, Juergen > Cc: axiom-developer@nongnu.org > Subject: RE: [Axiom-developer] Aldor and Lisp > > On October 21, 2005 2:08 PM Juergen Weiss wrote

RE: [Axiom-developer] Aldor and Lisp

2005-10-21 Thread Weiss, Juergen
defstruct, drop BOOT and convert everything to lisp, define the data with defstruct in lisp and use the accessor functions from BOOT. Regards Juergen Weiss Juergen Weiss | Universitaet Mainz, Zentrum fuer Datenverarbeitung, [EMAIL PROTECTED]| 55099 Mainz, Tel: +49(6131)39-26361, FAX: +49(6131)39

RE: [Axiom-developer] Aldor and Lisp

2005-10-21 Thread Weiss, Juergen
ature? > > In what sense was it "political"? Who stood to gain by such > a decision? > > To me the technical reasons seem rather obvious. So please > forgive me if I seem rather skeptical. > With best regards Juergen Weiss Juergen Weiss | Uni