From ralf at hemmecke.de  Fri Jan 20 07:35:07 2006
From: ralf at hemmecke.de (Ralf Hemmecke)
Date: Fri, 20 Jan 2006 13:35:07 +0100
Subject: [Aldor-l] Bug report
Message-ID: <43D0D8FB.4040104@hemmecke.de>

I have just submitted the following bug.

Ralf

---BEGIN
-- Author: Ralf Hemmecke, Johannes Kepler Universit"at Linz
-- EMail: ralf at hemmecke.de
-- Date: 20-Jan-2006
-- Aldor version 1.0.3 for LINUX(glibc2.3)
-- Subject: return and -wdebug segfault

-- The compilation with
--   aldor -laldor -Wdebug -DC1 xxx.as
-- segfaults while
--   aldor -laldor         -DC1 xxx.as
--   aldor -laldor -Wdebug     xxx.as
-- gives no error message.
#include "aldor"
macro UTERM == Record(exp: MachineInteger, coef: R);
UP(R: IntegerType): with {
	exponent: % -> MachineInteger;
} == add {
	Rep == List UTERM;
	import from UTERM, Rep;
	exponent(x: %): MachineInteger == {
                 y := rep x;
                 n := #y;
                 u: UTERM := y.n;
#if C1
	        return u.exp;
#else
		u.exp;
#endif
         }
}
---END


From bill.page1 at synthesis.anikast.ca  Thu Jan 26 10:04:59 2006
From: bill.page1 at synthesis.anikast.ca (Bill Page)
Date: Thu, 26 Jan 2006 10:04:59 -0500
Subject: [Aldor-l] Aldor and open source
In-Reply-To: <43D0D8FB.4040104@hemmecke.de>
Message-ID: <015601c62289$e507dec0$6800a8c0@asus>

Dear Aldor Developers and Users;

As you know, Aldor was originally developed at IBM as the new
version of the Axiom library compiler. All of the original
IBM Axiom source code is now available as open source with the
sole exception of Aldor. For historical reasons, the licensing
of Aldor is different from Axiom. However in October 2005
Steven Watt told me, in response to my request for information
on the Aldor source license, that open source licensing of
Aldor was then being considered.

It is possible to use Aldor now in the open source version
of Axiom. Many Axiom developers are anxious to carry-out the
original plan of converting all of Axiom's library source code
to Aldor and to continue all new development for Axiom using
Aldor. However the current licensing conditions apparently
prevent the inclusion of the Aldor compiler source code in
the Axiom open source distribution. As a result much of the
energy to update Axiom's mathematical library has been
essentially stalled, awaiting a clarification of this issue.

Many of the Axiom developers and Axiom users have "signed"
an online petition to show there support and encourage the
compatible open source licensing of the Aldor compiler.
See:

http://wiki.axiom-developer.org/FreeAldor

Please consider adding your name to this petition.

For an advanced programming language like Aldor to live and
grow, it is essential that the user and developer communities
be as large as possible. Making the Aldor source available
under an open source license to the entire Axiom community
would greatly help both of these projects to thrive once
again.

I would like to offer to help with the process of making
Aldor open source. If any one has any suggestions about how
to do this, please let me know.

Sincerely,
Bill Page.

Cc. Steven Watt




From ralf at hemmecke.de  Fri Jan 20 07:35:07 2006
From: ralf at hemmecke.de (Ralf Hemmecke)
Date: Fri, 20 Jan 2006 13:35:07 +0100
Subject: [Aldor-l] Bug report
Message-ID: <43D0D8FB.4040104@hemmecke.de>

I have just submitted the following bug.

Ralf

---BEGIN
-- Author: Ralf Hemmecke, Johannes Kepler Universit"at Linz
-- EMail: ralf at hemmecke.de
-- Date: 20-Jan-2006
-- Aldor version 1.0.3 for LINUX(glibc2.3)
-- Subject: return and -wdebug segfault

-- The compilation with
--   aldor -laldor -Wdebug -DC1 xxx.as
-- segfaults while
--   aldor -laldor         -DC1 xxx.as
--   aldor -laldor -Wdebug     xxx.as
-- gives no error message.
#include "aldor"
macro UTERM == Record(exp: MachineInteger, coef: R);
UP(R: IntegerType): with {
	exponent: % -> MachineInteger;
} == add {
	Rep == List UTERM;
	import from UTERM, Rep;
	exponent(x: %): MachineInteger == {
                 y := rep x;
                 n := #y;
                 u: UTERM := y.n;
#if C1
	        return u.exp;
#else
		u.exp;
#endif
         }
}
---END


From bill.page1 at synthesis.anikast.ca  Thu Jan 26 10:04:59 2006
From: bill.page1 at synthesis.anikast.ca (Bill Page)
Date: Thu, 26 Jan 2006 10:04:59 -0500
Subject: [Aldor-l] Aldor and open source
In-Reply-To: <43D0D8FB.4040104@hemmecke.de>
Message-ID: <015601c62289$e507dec0$6800a8c0@asus>

Dear Aldor Developers and Users;

As you know, Aldor was originally developed at IBM as the new
version of the Axiom library compiler. All of the original
IBM Axiom source code is now available as open source with the
sole exception of Aldor. For historical reasons, the licensing
of Aldor is different from Axiom. However in October 2005
Steven Watt told me, in response to my request for information
on the Aldor source license, that open source licensing of
Aldor was then being considered.

It is possible to use Aldor now in the open source version
of Axiom. Many Axiom developers are anxious to carry-out the
original plan of converting all of Axiom's library source code
to Aldor and to continue all new development for Axiom using
Aldor. However the current licensing conditions apparently
prevent the inclusion of the Aldor compiler source code in
the Axiom open source distribution. As a result much of the
energy to update Axiom's mathematical library has been
essentially stalled, awaiting a clarification of this issue.

Many of the Axiom developers and Axiom users have "signed"
an online petition to show there support and encourage the
compatible open source licensing of the Aldor compiler.
See:

http://wiki.axiom-developer.org/FreeAldor

Please consider adding your name to this petition.

For an advanced programming language like Aldor to live and
grow, it is essential that the user and developer communities
be as large as possible. Making the Aldor source available
under an open source license to the entire Axiom community
would greatly help both of these projects to thrive once
again.

I would like to offer to help with the process of making
Aldor open source. If any one has any suggestions about how
to do this, please let me know.

Sincerely,
Bill Page.

Cc. Steven Watt




