Refactor predicate machinery to use tagging strategies.
authorChris Hanson <org/chris-hanson/cph>
Tue, 17 Jan 2017 22:29:34 +0000 (14:29 -0800)
committerChris Hanson <org/chris-hanson/cph>
Tue, 17 Jan 2017 22:29:34 +0000 (14:29 -0800)
commitce7dffed9733bf3b2e14d19984d5c102c0dae090
tree1a9547497567cf12d8d57bcc86b6eeb7c30c7573
parentee9da6bfd867fb82687a162f84f4c01ff3850a4e
Refactor predicate machinery to use tagging strategies.

Also:
* Rename predicate-template-{instantiator,constructor}.
* Add optional caller args to predicate-template-constructor and
  predicate-template-accessor.
src/runtime/compound-predicate.scm
src/runtime/parametric-predicate.scm
src/runtime/predicate-metadata.scm
src/runtime/runtime.pkg
tests/check.scm
tests/runtime/test-parametric-predicate.scm