Refactor tag implementation to use "metatags".
authorChris Hanson <org/chris-hanson/cph>
Tue, 16 Jan 2018 06:40:57 +0000 (22:40 -0800)
committerChris Hanson <org/chris-hanson/cph>
Tue, 16 Jan 2018 06:40:57 +0000 (22:40 -0800)
commit13a780d0926d5bee5493dcfbd2192b41b8c50864
tree4aea781e161c9df140ed160bb70282b21b8bc41f
parent881c4d45a8150874eaccf9f9fa28095cb46415f7
Refactor tag implementation to use "metatags".

This allows predicate dispatch to differentiate between different kinds of
tags.  Otherwise all tags look the same, even if they are functionally
different.

Of course now it's not possible to differentiate between metatags, because they
all of the same tag; but that shouldn't be a problem.
src/runtime/compound-predicate.scm
src/runtime/parametric-predicate.scm
src/runtime/predicate-lattice.scm
src/runtime/predicate-metadata.scm
src/runtime/runtime.pkg
tests/check.scm
tests/runtime/test-parametric-predicate.scm
tests/runtime/test-predicate-metadata.scm