Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> Hi Martin,
>
> I am not quite sure if I like your
>
> makeAxiomList: % -> List S
>
> because there is already
>
> coerce: % -> List S.
>
> I have just replaced makeAxiomList by coerce in (src/species.as.nw r107)
>
> <<implementation: Times>>=
> #if Axiom
> coerce(x: %): OutputForm == {
> import from ACString, OutputForm, List OutputForm;
> coerce(hconcat coerce [coerce "(", coerce(rep(x).left),
> coerce ", ", coerce(rep(x).right),
> coerce ")"]);
> }
> #endif
> ...
> @
>
> and it still compiles.
Very nice. Did you also check the result? You see, I tried to make things work,
and I fought against quite a few things I do not understand at
all. Unfortunately, I don't really know how to document all the "surprising"
failures, since at times, they are just stupid mistakes of mine, at times they
seem to be compiler bugs, at times they are bugs within the axiom interface. I
really tried hard to give adsnippet examples, but the above is certainly one I
missed. And with all this things, it seems that there are "unfortunate"
dependencies, i.e., changing some small thing here makes some workaround
elsewhere superfluous.
Anyway, thanks for you attentive reading.
Martin
-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys - and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV
_______________________________________________
Aldor-combinat-devel mailing list
Aldor-combinat-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/aldor-combinat-devel
