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