7:03:55beachIt looks like aun abandoned us some 6 months ago, so the bignum implementation is up for grabs.
7:12:39no-defun-allowedCan there be a reasonable equality predicate (call it E) for which (eq A B) does not imply (E A B) for some A, B? (Or to avoid the implication arrow, for which there exists A, B such that (and (eq A B) (not (E A B)))?)
7:23:20beachI can't see how that would be the case.
7:23:41no-defun-allowedI can't either, which is why I asked.
7:24:15beachOne might exist, but it wouldn't be "reasonable" :)
7:27:03no-defun-allowedI ask as Luckless and the original NonBlockingHashMap both test EQ before using the user-provided equality predicate; would it be fine to assume the previously mentioned implication holds?
7:27:43beachIf A and B are EQ then they must be E for all equality predicates E.