• Michał Herda's avatar
    Add SUBTYPEP.CONS.44 · bf63b936
    Michał Herda authored
    We add a SUBTYPEP test that checks SUBTYPEP relationship for CONS types
    with SATISFIES types in their CARs and CDRs.
    
    Whether t1 is a subtype of t2 depends on a series of RANDOM calls at
    typechecking time - sometimes it might be a subtype, it might not.
    
    This test is added because I see SBCL and CCL failures in this case.
    
    In addition to the test, we define four functions named
    subtypep.cons.44.{foo,bar,baz,qux}. This is because the CLHS states that the
    type specifier SATISFIES "denotes the set of all objects that satisfy the
    predicate PREDICATE-NAME, which must be a symbol whose global function
    definition is a one-argument predicate."
    bf63b936
subtypep-cons.lsp 11.5 KB