[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Issue: MACRO-CACHING (Version 1)



I can accept MACRO-CACHING:DISALLOW.

The Explorer evaluator does displacement of macros, but is careful to
correctly handle the cases exemplified in your test cases #1 and #2.  
It does not do the right thing for #3, but that is a bug that can fairly
easily be fixed.