|
From: | Ralf Hemmecke |
Subject: | Re: [Axiom-mail] Category parameters and "this" domain |
Date: | Mon, 21 Aug 2006 09:40:14 +0200 |
User-agent: | Thunderbird 1.5.0.5 (X11/20060719) |
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 foofoo : ($, $) -> $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
[Prev in Thread] | Current Thread | [Next in Thread] |