Treat exceptions thrown by arguments to check as test failures, without changing function behavior

Author: AlexKnauth

rackunit-lib/rackunit/private/check.rkt

@@ -104,6 +104,7 @@
           (with-default-check-info* infos
             (λ () ((current-check-around) (λ () body ... (void))))))
       'pub)))
+                                      
 
 (define-simple-macro (define-check (name:id formal:id ...) body:expr ...)
   (begin
@@ -112,9 +113,15 @@
       (with-syntax ([loc (datum->syntax #f 'loc stx)])
         (syntax-parse stx
           [(chk . args)
-           #'((check-impl #:location (syntax->location #'loc)
-                          #:expression '(chk . args))
-              . args)]
+           #'(let ([location (syntax->location #'loc)])
+               (with-default-check-info*
+                (list (make-check-location location)
+                      (make-check-expression '(chk . args)))
+                (λ ()
+                  ((current-check-around)
+                   (λ () ((check-impl #:location location
+                                      #:expression '(chk . args))
+                          . args))))))]
           [chk:id
            #'(check-impl #:location (syntax->location #'loc)
                          #:expression 'chk)])))))

rackunit-lib/rackunit/private/format.rkt

@@ -121,6 +121,8 @@
            (display-raised-message e)]
           [else
            (display-raised-summary "ERROR" e)
+           (display-check-info-stack (current-check-info)
+                                     #:verbose? verbose?)
            (display-raised-message e)])
     (display-delimiter)))