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

infer gate: cover the run-inference / take-diags! checker path

Browse source 
Adds 3 cases for the opt-path checker (set-check-mode! -> run-inference ->
take-diags!): diagnostics drain once, the buffer empties on re-drain, and
check-mode off produces none. This is the public checker entry the other 23
cases didn't touch. Runtime-only.
This commit is contained in:
Yogthos 2026-06-23 09:38:13 -04:00
parent 4fdc9f165e
commit 7d8392e5ab
1 changed files with 14 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

14
host/chez/run-infer.ss
View file

@ -28,6 +28,9 @@
(define collected-escapes (var-deref "jolt.passes.types" "collected-escapes")) (define collected-escapes (var-deref "jolt.passes.types" "collected-escapes"))
(define set-record-shapes! (var-deref "jolt.passes.types" "set-record-shapes!")) (define set-record-shapes! (var-deref "jolt.passes.types" "set-record-shapes!"))
(define set-vtypes! (var-deref "jolt.passes.types" "set-vtypes!")) (define set-vtypes! (var-deref "jolt.passes.types" "set-vtypes!"))
(define set-check-mode! (var-deref "jolt.passes.types" "set-check-mode!"))
(define run-inference (var-deref "jolt.passes.types" "run-inference"))
(define take-diags! (var-deref "jolt.passes.types" "take-diags!"))
;; analyze a source string to its IR node (fresh ctx, ns "user", no passes). ;; analyze a source string to its IR node (fresh ctx, ns "user", no passes).
(define (anode src) (analyze (make-analyze-ctx "user") (jolt-ce-read src))) (define (anode src) (analyze (make-analyze-ctx "user") (jolt-ce-read src)))
@ -87,6 +90,17 @@
(check "ctor result struct w/ shapes" (diags "(+ (->P 1) 1)" #f) 1) (check "ctor result struct w/ shapes" (diags "(+ (->P 1) 1)" #f) 1)
(set-record-shapes! (jolt-hash-map)) (set-record-shapes! (jolt-hash-map))
;; --- the opt-path checker: run-inference emits, take-diags! drains -----------
;; (set-check-mode! on strict?) arms checking during the next run-inference; the
;; diagnostics are stashed for take-diags! to drain once.
(set-check-mode! #t #f)
(run-inference (anode "(+ 1 :k)"))
(check "take-diags drains run-inference" (jolt-count (take-diags!)) 1)
(check "take-diags re-drained empty" (jolt-count (take-diags!)) 0)
(set-check-mode! #f #f)
(run-inference (anode "(+ 1 :k)"))
(check "no diags when check-mode off" (jolt-count (take-diags!)) 0)
(if (= fails 0) (if (= fails 0)
(begin (printf "infer gate: ~a/~a passed\n" total total) (exit 0)) (begin (printf "infer gate: ~a/~a passed\n" total total) (exit 0))
(begin (printf "infer gate: ~a/~a passed (~a failed)\n" (- total fails) total fails) (exit 1))) (begin (printf "infer gate: ~a/~a passed (~a failed)\n" (- total fails) total fails) (exit 1)))