[m-dev.] for review: new tests/tabling directory

Tyson Dowd trd at cs.mu.OZ.AU
Fri Aug 14 14:49:08 AEST 1998


On 14-Aug-1998, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> 
> Tyson, please review this. DJ, this has the code of boyer.m, the test case
> we discussed.

This seems fine.  I have only one comment, which is below.

> Index: tabling/tc_loop.exp
> ===================================================================
> RCS file: tc_loop.exp
> diff -N tc_loop.exp
> --- /dev/null	Wed May 28 10:49:58 1997
> +++ tc_loop.exp	Fri Aug 14 10:21:19 1998
> @@ -0,0 +1,2 @@
> +Software error: detected infinite recursion in pred tc_loop:tc/2
> +Stack dump not available in this grade.


I would have to classify this as a compiler bug.  Software error
is not the correct way to report an error in the program.

It's fine to leave it like this at the moment, but it would be
good to go and put an XXX near the code that generates this if there
isn't one already.

-- 
       Tyson Dowd           # "Bill Gates is a white persian cat and a monocle
                            # away from becoming another James Bond villan."
     trd at cs.mu.oz.au        # "No Mr Bond, I expect you to upgrade."
http://www.cs.mu.oz.au/~trd #                -- Dennis Miller and Terri Branch



More information about the developers mailing list