[Aldor-l] aldor extend, was: A combinatorial question

[Martin Rubey]

"Peter Broadbery" <p_broadbery at hotmail.com> writes:

> >But now I have to ask: what is the primary goal for you?  :-)
> >
> >Martin
> 
> Getting axiom to play nice with aldor is the starting point, then there's a
> few compiler things that I would like to play with - axiom extend will be
> good to have, but may involve more axiom hacking than I have the patience
> for.
> 
> Having the interop stuff in at least one of the various axioms that are
> floating around is also on the list.

It just occurred to me that there would indeed be a different way to help Ralf
and myself:  a long while ago Waldek mentioned that it might not be too hard to
provide "extend" for SPAD.

This would be slightly different, since the aldor compiler would not even
notice that a domain is extended - i.e., no work on the aldor side.

Of course, libaxiom would then have to be regenerated if I want to use the
extended domain within aldor.

Our combinat distribution would then contain a spad file containing the
necessary extend's.  Since there is currently not much code in the extend's
anyway, that wouldn't matter too much - at least not for me.

What does matter to me however is that I definitively want SPAD to become
Aldor, either by replacement or by improvement.  I have the feeling that having
extend being understood by axiom would be a big step in the right direction.
And it does seem to me that making axiom understand arbitrary signatures as
allowed in aldor is a bit too much to ask for...  It's a shame I have neither
time nor expertise to hack there myself.

Good luck,

Martin