Skip to content
  • pfdietz's avatar
    Replaced subtypep*-or-fail and subtypep*-not-or-fail with the · fa2e43e9
    pfdietz authored
    more powerful tests check-all-subtypep and check-all-not-subtypep,
    which test a number of relations that can be derived from the
    subtype (or, not-subtype) relation of the two types.
    Also, fix a place where test names weren't changed during cut/paste.