please check this code (in build 902). It dumps:
Code: Select all
class predicates
p : (core::comparator{Type} Comp = compare).
clauses
p(_Comp).
clauses
run() :-
p().
Code: Select all
class predicates
p : (core::comparator{Type} Comp = compare).
clauses
p(_Comp).
clauses
run() :-
p().