Stanislas Nanchen
added a comment - 06/May/13 3:48 AM I've used the existing pm tests to test the fne macro. you find it in the logic-80-2.patch. Is it what you had in mind?
It is not clear how I can test for tabled anonymous functions as the :tabled metadata is of the defn[x] vars.
Possibilities would be:

add meta-data to the function produced by the macro 'tabled';

let the function produced by tabled implement some interface/protocol.

Stanislas Nanchen
added a comment - 14/May/13 9:51 AM so i finally got some time to look at it again. the patch is squashed and contains a test for the tabled anonymous goals; it just tests whether the macro code actually works.