suzanne.soy/hyper-literate
1
0
Fork 0
Code Issues 4 Pull Requests 1 Actions Packages Projects Releases Wiki Activity

Fix eval:check in interaction to properly validate its arguments

Browse Source
This commit is contained in:
Alexis King 2015-07-06 23:00:35 -07:00 committed by Vincent St-Amour
parent 1a6f1b593e
commit f33e8c0746
1 changed files with 10 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
scribble-lib/scribble/eval.rkt
View File

@ -264,12 +264,12 @@
(get-outputs)))]) (get-outputs)))])
(cons (render-value (do-plain-eval ev s #t)) (get-outputs)))) (cons (render-value (do-plain-eval ev s #t)) (get-outputs))))
(define (do-ev/expect s expect) (define (do-ev/expect s expect)
(define r (do-ev s))
(when expect (when expect
(let ([expect (do-plain-eval ev (car expect) #t)]) (let ([r (do-plain-eval ev s #t)]
(unless (equal? (car r) expect) [expect (do-plain-eval ev (car expect) #t)])
(unless (equal? r expect)
(raise-syntax-error 'eval "example result check failed" s)))) (raise-syntax-error 'eval "example result check failed" s))))
r) (do-ev s))
(lambda (str) (lambda (str)
(if (eval-results? str) (if (eval-results? str)
(list (map formatted-result (eval-results-contents str)) (list (map formatted-result (eval-results-contents str))
@ -280,6 +280,12 @@
(list (list (void)) "" "") (list (list (void)) "" "")
(do-ev/expect s expect)))))) (do-ev/expect s expect))))))
(module+ test
(require rackunit)
(test-case
"eval:check in interaction"
(check-not-exn (λ () (interaction (eval:check #t #t))))))
(define scribble-exn->string (define scribble-exn->string
(make-parameter (make-parameter
(λ (e) (λ (e)