Re: [Axiom-developer] merge branches/daly to trunk

[Martin Rubey]

"Bill Page" <address@hidden> writes:

> As far as I know, the only thing in silver (aka. axiom.daly,
> aka. axiom.trunk) is a first attempt at some regression testing.  I believe
> that Gaby is trying to port this downstream [...]

I think it is a mistake to do that.  We should port Christian Aistleitner's
code to use libaxiom instead of libaldor.  It is excellent code, and extremely
user friendly.  We have used it with *great* success in our species package.
I.e., it caught many mistakes that wouldn't have been discovered otherwise.

I know, this is open source.  But I do not understand that we have to invent
the wheel so many times.  I estimate that it would take four days full time to
get his code running for axiom, for anybody who knows a little aldor and knows
OutputForm.  

As far as I remember, we would mainly need a domain TextWriter that provides
the functionality of textWriter$TextWriter, stdout$TextWriter and
stderr$TextWriter.  Other domains, like String, then should provide functions

  <<: (TextWriter, %) -> TextWriter

i.e., it takes a TextWriter and a String and "appends" the String to the given
TextWriter, thus producing a new one.

So, apart from stdout and stderr, what is needed, is an operation

  textWriter: (Character -> ()) -> %

that takes a function that writes a single character and returns a TextWriter.

The domain TextWriter can be implemented in Aldor, but using the axiom library.
I did not try, but it is quite possible that one could even use the existing
implementation from libaldor.  Hm, I should really try that.

Ralf and myself have already implemented some other Aldor domains using the
axiom library, in axcompat.as.nw and axcompat2.as.nw of our pecies project,
which you can download using

svn co svn://svn.risc.uni-linz.ac.at/hemmecke/combinat/


Martin