>>>>> "Raymond" == Raymond Toy writes:
Raymond> And finally, loading trgsmp.mac seems to work, and the one test case
Raymond> in rtest3.mac passes. But running the test suite causes that one
Raymond> failure, presumably because the functions or rules were killed.
I didn't track this down, but I did a few more experiments. Compiling
and loading the translated file produces a trigsimp that doesn't
work. :-(
However, the problem, I think is that trgsmp.mac has a few places
like:
declare(ans,special)
The translator (make-declares in transl.lisp) goes out of it's way to
make sure local declarations on special variables are not applied.
But if I manually put the special declarations into the lisp file (or
remove the declaration), the compiled translation works.
There's also a comment in tr-lambda about local special declarations
not being used because the multics lisp compiler doesn't use them.
However, I don't see the harm in making local special declarations.
If the user said a var is special, the translator should make sure
it's special.
Ray