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
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
