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

[Martin Rubey]

Ralf Hemmecke <ralf at hemmecke.de> writes:

> > 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? 

NO! I should have said:

    works at all in FriCAS-sbcl + Ralfdor


Martin