From f2747679e9dd7d42b633ee62c3c6cf505b9a369f Mon Sep 17 00:00:00 2001 From: Yogthos Date: Sun, 21 Jun 2026 20:06:21 -0400 Subject: [PATCH] Prune now-passing class/atom entries from the corpus allowlist class number/string/keyword/name + atom?/instance? Atom pass after the class refinements; drop their stale allowlist entries. Corpus 2705/2741 0 new div. --- host/chez/run-corpus.ss | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/host/chez/run-corpus.ss b/host/chez/run-corpus.ss index 019ccfd..5511140 100644 --- a/host/chez/run-corpus.ss +++ b/host/chez/run-corpus.ss @@ -86,9 +86,7 @@ ;; transients/atoms/Infinity. These DIVERGE but are tolerated; the gate fails only on ;; a NEW (unlisted) divergence or a drop below the floor. (define known-fail-labels - '("class name evaluates to canonical string" - "class number" "class string" "class keyword" - "definterface defines" "getMessage on a thrown string" + '("definterface defines" "getMessage on a thrown string" "type of record" "chunked-seq? always false" "^Type tag on var" "symbol hint -> :tag" "lists extended type" "seq of tags" @@ -108,7 +106,6 @@ "boolean-array" "int-array" "long-array" "double-array" "float-array" "short-array" "doubles" "floats" "reader over char[]" "char-array of string" - "atom?" "instance? Atom" "cancel an in-flight future returns true" "future-cancelled? after cancel" "no param vector")) (define known-fail (make-hashtable string-hash string=?))