[Axiom-developer] Re: [Axiom-mail] Category parameters and "this" domain

[Gabriel Dos Reis]

Ralf Hemmecke <address@hidden> writes:

| Why is this a mail to axiom-mail instead of axiom-developer?

because it is about use of Axiom.  I'm wearing my Axiom user hat here.

| On 08/21/2006 01:22 AM, Gabriel Dos Reis wrote:
| > Hi,
| >    The SPAD compiler accepts and happily compiles this:
| >    )abbrev category FOO Foo
| >    ++ A Foo is something we can foo with.
| >    Foo(m : ($, $) ->$) : Category == SetCategory with
| >      ++ A Foo has a foo
| >      foo : ($, $) -> $ Is it a feature or a bug?  [Similar Aldor
| > code is rejected]
| 
| Nobody can say whether bug or feature, because there is no strict
| definition of the SPAD language.

still, we have an Axiom library written in something...

I'll appreciate an explanation of whether it is supposed to have any
at all.

-- Gaby