Merge predicate-metadata and predicate-lattice into predicate.
authorChris Hanson <org/chris-hanson/cph>
Thu, 18 Jan 2018 05:10:40 +0000 (21:10 -0800)
committerChris Hanson <org/chris-hanson/cph>
Thu, 18 Jan 2018 05:10:40 +0000 (21:10 -0800)
commit8e5c6a3957d0dffbba639e90cf8b47df7f6f6c22
treeb904570d7a4d169bcfd6b56b9ecf5f7d42b63326
parent014efa1279115f701943680f4fb5a03d2d8ea7d5
Merge predicate-metadata and predicate-lattice into predicate.
src/runtime/make.scm
src/runtime/predicate-lattice.scm [deleted file]
src/runtime/predicate.scm [moved from src/runtime/predicate-metadata.scm with 67% similarity]
src/runtime/runtime.pkg
tests/check.scm
tests/runtime/test-predicate-lattice.scm [deleted file]
tests/runtime/test-predicate.scm [moved from tests/runtime/test-predicate-metadata.scm with 85% similarity]