Re: [Axiom-developer] A curious algebra failure

[Gabriel Dos Reis]

On Sat, 11 Aug 2007, Stephen Wilson wrote:

| In other words, an anonymous category can capture both a nominal
| assertion (the named categories on the lhs), and a structural
| assertion (the lhs exports).  For example:
| 
|    C (S : with foo : () -> %) : Category == with ...
| 
| Here, S will match _any_ domain with an export `foo' of the
| appropriate type.  Although it may not be explicitly documented, I do
| think that this is the intent of the Spad language.

Do you see code in the compiler that supports that?

-- Gaby