[Aldor-l] exports and constants

[Christian Aistleitner]

Hello,

On Tue, 25 Jul 2006 16:10:53 +0200, Ralf Hemmecke <ralf at hemmecke.de> wrote:

> On 07/25/2006 03:19 PM, Bill Page wrote:
>> [ Axiom' attributes are not cagetories ]
> Not in Axiom, but have you looked into the files by Peter Broadbery for
> the creation of libaxiom?
>
> There is a file as/attrib.as.pamphlet which starts like this...
>
> ---BEGIN
> import from AxiomLib;
> inline from AxiomLib;
>
> macro {
> 	Attribute X == X: Category == with;
> }

How does this fit together with

>> An attribute has no type.

(as cited by Bill from section 12.9 of the Axiom book)?
Apparently, attributes have type "Category".


--
Kind regards,
Christian