[Aldor-l] [Aldor-combinat-devel] [fricas-devel] Re: aldor fricas interoperability... call for testers

[Ralf Hemmecke]

> My point is not that much that this way of introducing isomorphism types does
> not work, but rather that the aldor interface is not fully functional when we
> use sbcl.  I guess it would be worthwhile to check whether something like
> 
> F(T: MyType): MyCat == (foo$T) add;
> 
> works at all.

You mean that looks like an Aldor problem? I don't think that the Aldor 
specification forbids such construction. In fact, if

MyType: Category == with {
   foo: MyCat;
   ...
}

then I would guess that the only problem is the Aldor compiler but not 
the language. Have you checked a simple example like that?

Ralf