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

[Ralf Hemmecke]

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

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.

Ralf