simon/jolt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Prune now-passing class/atom entries from the corpus allowlist

Browse source 
class number/string/keyword/name + atom?/instance? Atom pass after the class
refinements; drop their stale allowlist entries. Corpus 2705/2741 0 new div.
This commit is contained in:
Yogthos 2026-06-21 20:06:21 -04:00
parent e3674d17a7
commit f2747679e9
1 changed files with 1 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

5
host/chez/run-corpus.ss
View file

@ -86,9 +86,7 @@
;; transients/atoms/Infinity. These DIVERGE but are tolerated; the gate fails only on ;; transients/atoms/Infinity. These DIVERGE but are tolerated; the gate fails only on
;; a NEW (unlisted) divergence or a drop below the floor. ;; a NEW (unlisted) divergence or a drop below the floor.
(define known-fail-labels (define known-fail-labels
'("class name evaluates to canonical string" '("definterface defines" "getMessage on a thrown string"
"class number" "class string" "class keyword"
"definterface defines" "getMessage on a thrown string"
"type of record" "chunked-seq? always false" "type of record" "chunked-seq? always false"
"^Type tag on var" "symbol hint -> :tag" "^Type tag on var" "symbol hint -> :tag"
"lists extended type" "seq of tags" "lists extended type" "seq of tags"
@ -108,7 +106,6 @@
"boolean-array" "int-array" "long-array" "double-array" "boolean-array" "int-array" "long-array" "double-array"
"float-array" "short-array" "doubles" "floats" "reader over char[]" "float-array" "short-array" "doubles" "floats" "reader over char[]"
"char-array of string" "char-array of string"
"atom?" "instance? Atom"
"cancel an in-flight future returns true" "future-cancelled? after cancel" "cancel an in-flight future returns true" "future-cancelled? after cancel"
"no param vector")) "no param vector"))
(define known-fail (make-hashtable string-hash string=?)) (define known-fail (make-hashtable string-hash string=?))