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

Merge pull request #300 from jolt-lang/corpus/portability-key

Browse source 
Tag every corpus row with :portability (:common vs :jvm)
This commit is contained in:
Dmitri Sotnikov 2026-07-02 18:15:01 +00:00 • committed by GitHub
commit 58ef0c8fa1
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 3578 additions and 3571 deletions
Download patch file Download diff file Expand all files Collapse all files

7130
test/chez/corpus.edn
View file

File diff suppressed because it is too large Load diff

8
test/conformance/SPEC.md
View file

@ -27,8 +27,14 @@ the canonical, frozen contract**: it is what every runtime consumes, what
{:suite "numbers / arithmetic" ; grouping; "<suite> :: <label>" is the case id
:label "integer add" ; unique within a suite
:actual "(+ 1 2)" ; Clojure source to evaluate
:expected "3"} ; Clojure source whose value it must equal,
:expected "3" ; Clojure source whose value it must equal,
; or the keyword :throws
:portability :common} ; :common = portable Clojure any dialect
; must satisfy; :jvm = exercises host
; interop (java.*/clojure.lang.* classes,
; dot forms, ctors, statics, arrays,
; proxy/bean) — skip on a non-JVM-shaped
; dialect
```
- `[:suite :label]` is the **canonical, unique case id** (the generator

5
test/conformance/regen-corpus.clj
View file

@ -99,11 +99,12 @@
[row :kept])))
;; --- corpus writer (preserves the one-row-per-line layout) -------------------
(defn row-str [{:keys [suite label expected actual]}]
(defn row-str [{:keys [suite label expected actual portability]}]
(str " {:suite " (pr-str suite)
" :label " (pr-str label)
" :expected " (if (= expected :throws) ":throws" (pr-str expected))
" :actual " (pr-str actual) "}"))
" :actual " (pr-str actual)
(when portability (str " :portability " portability)) "}"))
(defn -main [& _]
(let [corpus (edn/read-string (slurp corpus-path))