Allow more general record predicates.
authorChris Hanson <org/chris-hanson/cph>
Tue, 2 Oct 2018 06:13:38 +0000 (23:13 -0700)
committerChris Hanson <org/chris-hanson/cph>
Tue, 2 Oct 2018 06:13:38 +0000 (23:13 -0700)
commit811678039b7c385d586d14acdaa70cc574b5782e
treed7ec2fd820b8fa48474ca41c40a8e2c058f3673a
parent201249b2b7c24b81c6f20921c8e5937f467272bf
Allow more general record predicates.

Rather than insisting on a linear inheritance of record types, the record
predicate now allows arbitrary sub-type relations.  This can of course cause
problems if misused, so use with care.
src/runtime/record.scm