c06af7c9f4
ifn? (jolt-1vx) is the canonical IFn set in the overlay: fns, keywords,
symbols, maps (sorted included), sets, vectors, and vars — NOT lists. The
seed version said true for lists and false for struct maps and vars.
Mutable-mode caveat documented (vectors and lists share the array repr
there). 13 predicate rows.
Multimethod dispatch (jolt-heo) now collects EVERY isa-matching method key
and picks the dominant one — x dominates y when prefer-method'd over it or
(isa? x y) — and two matches with no dominant is an ambiguity ERROR, as in
Clojure. It used to take whichever key the table yielded first, silently
ignoring prefer-method. The prefers store upgrades to Clojure's
{x -> set-of-dominated} shape, shared between the dispatch closure and
prefer-method-setup via the var; prefers becomes a macro over a setup fn
(the store lives on the VAR — the multifn value can't carry it, so the old
fn read {} forever). 6 multimethod rows + the conformance row updated to
the canonical shape (335x3).
The reader (jolt-ou8) kept the pending KEY when a comment or #_ sits in a
map's VALUE slot: the old code dropped both, desyncing kv pairing — the
real value became the next key and the closing brace landed in value
position ('Unmatched closing brace'). Selmer's deps.edn (a '; for
development (REPL, etc)' comment between key and value) now parses; 6
reader rows incl. nested commented maps.
Gate: jpm exit 0, conformance 335x3, all tests passed.
72 lines
3.6 KiB
Text
72 lines
3.6 KiB
Text
# Specification: reader syntax & literals.
|
|
(use ../support/harness)
|
|
|
|
(defspec "reader / scalar literals"
|
|
["integer" "42" "42"]
|
|
["negative" "-7" "-7"]
|
|
["float" "1.5" "1.5"]
|
|
["string" "\"hi\"" "\"hi\""]
|
|
["boolean true" "true" "true"]
|
|
["nil" "nil" "nil"]
|
|
["keyword" ":a" ":a"]
|
|
["namespaced keyword" "true" "(= :a/b :a/b)"]
|
|
["char" "\\a" "\\a"]
|
|
["char newline" "true" "(= \\newline (first \"\\n\"))"]
|
|
# single non-symbol chars are one-char literals (\{ \( \, \% etc.)
|
|
["char open-brace" "123" "(int \\{)"]
|
|
["char open-paren" "40" "(int \\()"]
|
|
["char comma" "44" "(int \\,)"]
|
|
["char percent" "37" "(int \\%)"]
|
|
["char unicode" "65" "(int \\u0041)"]
|
|
["hex literal" "255" "0xff"]
|
|
["hex uppercase" "31" "0X1F"]
|
|
["bigint suffix N" "42" "42N"]
|
|
["bigdec suffix M" "1.5" "1.5M"]
|
|
["ratio -> double" "0.75" "3/4"]
|
|
["radix integer" "255" "16rFF"]
|
|
["exponent" "1500.0" "1.5e3"]
|
|
["symbolic Infinity" "true" "(infinite? ##Inf)"]
|
|
["symbolic NaN" "true" "(NaN? ##NaN)"]
|
|
["symbol via quote" "'foo" "'foo"])
|
|
|
|
(defspec "reader / collection literals"
|
|
["vector" "[1 2 3]" "[1 2 3]"]
|
|
["list quoted" "[1 2 3]" "'(1 2 3)"]
|
|
["map" "{:a 1}" "{:a 1}"]
|
|
["set" "#{1 2 3}" "#{1 2 3}"]
|
|
["nested" "{:a [1 {:b 2}]}" "{:a [1 {:b 2}]}"]
|
|
["empty vector" "[]" "[]"]
|
|
["empty map" "{}" "{}"]
|
|
["empty set" "#{}" "#{}"])
|
|
|
|
(defspec "reader / dispatch & sugar"
|
|
["anon fn #()" "3" "(#(+ %1 %2) 1 2)"]
|
|
["anon fn single %" "2" "(#(inc %) 1)"]
|
|
["anon fn %&" "[2 3]" "(#(vec %&) 2 3)"]
|
|
["discard #_" "[1 3]" "[1 #_2 3]"]
|
|
["regex literal" "true" "(= \"abc\" (re-find #\"abc\" \"xabcx\"))"]
|
|
# Feature set is #{:jolt :default} (spec 02-reader S18; RFC 0002) — :clj
|
|
# branches are NOT taken; matching is by clause order.
|
|
["reader conditional" "3" "#?(:clj 1 :cljs 2 :default 3)"]
|
|
["reader cond :jolt" "4" "#?(:clj 1 :jolt 4 :default 3)"]
|
|
["reader cond clause order" "5" "#?(:default 5 :jolt 6)"]
|
|
["reader cond no match" "[]" "[#?(:clj 1 :cljs 2)]"]
|
|
["reader cond splice" "[1 2 3]" "[#?@(:jolt [1 2 3] :cljs [4 5])]"]
|
|
["reader cond splice no match" "[]" "[#?@(:clj [1 2 3] :cljs [4 5])]"]
|
|
["inst literal reads" "true" "(some? #inst \"2020-01-01T00:00:00Z\")"]
|
|
["uuid literal" "\"550e8400-e29b-41d4-a716-446655440000\"" "(str #uuid \"550e8400-e29b-41d4-a716-446655440000\")"]
|
|
["tagged literal var" "true" "(var? #'+)"]
|
|
["deref sugar" "5" "(let [a (atom 5)] @a)"]
|
|
["meta sugar" "{:t 1}" "(meta ^{:t 1} [])"])
|
|
|
|
# Comments and #_ discards in a map's VALUE slot keep the pending key
|
|
# (jolt-ou8: dropping both desynced kv pairing — Selmer's deps.edn, with a
|
|
# "; for development (REPL, etc)" comment between key and value, read its
|
|
# closing brace in value position: 'Unmatched closing brace').
|
|
(defspec "reader / comments inside maps"
|
|
["comment in value slot" "{:a 1}" "{:a ; note\n 1}"]
|
|
["comment before key" "{:a 1}" "{; lead\n :a 1}"]
|
|
["comment between entries" "{:a 1 :b 2}" "{:a 1 ; mid\n :b 2}"]
|
|
["discard in value slot" "{:a 1}" "{:a #_9 1}"]
|
|
["comment with parens" "{:a {:b 1}}" "{:a ; dev (REPL, etc)\n {:b 1}}"]
|
|
["nested with comments" "{:x {:y 2}}" "{:x ; outer\n {:y ; inner\n 2}}"])
|