[Aldor-l] Generators

Martin Rubey martin.rubey at univie.ac.at
Thu Nov 8 14:34:18 EST 2007


Laurentiu Dragan <ldragan at aldor.org> writes:

> Martin Rubey wrote:
> > Laurentiu Dragan <ldragan at aldor.org> writes:
> >
> >> Ralf Hemmecke wrote:
> >>> PS: Now we need someone who incorporates this patch into the SVN
> >>> repository. Laurentiu?
> >> I patched the sources and checked the two examples: aaa.as and bbb.as and
> >> they work. However, I tried the regression tests and some of the tests don't
> >> pass anymore. The tests are: loop0.as, bug1165.as, hilbert1.as, gbtest1.as,
> >> intfact.as.
> >>
> >> Am I the only one seeing these problems?
> > Oh, I just tried it, too, and you are quite right.  In fact, I get more failed
> > tests, but that's possibly due to something I messed up during make.
> > Great that there are regression tests!
> 
> opt1.as is a bug, and it fails even without the patch.

I get

Failed tests: opt1.as loop0.as loop0.as t1149.as bug1165.as hilbert1.as
hilbert1.as gbtest1.as gbtest1.as gbtest1.as type6.as f21.as f21.as intfact.as
intfact.as iroots.as

BUGS = float2.as default8.as where2.as extend2.as opt1.as pack0.sh recov1.sh
bug1272.as

But as I said, I believe that I messed up the make (I was by accident at first
compiling with the wrong aldor compiler...

In any case, first thing to fix is the such that clause, I guess...

Martin




More information about the Aldor-l mailing list