RackUna posizione di origine all'interno di macro

Question

Sto costruendo un set di test di unità rack, in cui la funzione effettiva test-case e check-equal? è definita in una macro. Il codice simile a questa:

#lang racket 

(require rackunit 
     rackunit/text-ui) 

(define-syntax (my-test=? stx) 
    (syntax-case stx() 
    [(_ case1 case2) 
    (syntax/loc stx 
     (test-case "tests" 
     (check-equal? case1 case2)))])) 

(define tests 
    (test-suite "tests" 
    (my-test=? 'a 'b))) 

(run-tests tests) 

Tuttavia, quando si esegue questo codice ottengo il seguente output:

-------------------- 
tests > tests 
tests 
FAILURE 
name:  check-equal? 
location: unsaved-editor:11:9 
actual:  'a 
expected: 'b 
. Check failure 
-------------------- 
0 success(es) 1 failure(s) 0 error(s) 1 test(s) run 

Dove la linea 11 è la linea della funzione check-equal? all'interno della macro: (check-equal? case1 case2)))]))

C'è un modo in cui posso rackunit per mostrare l'errore sulla linea in cui viene utilizzato my-test=?: (my-test=? 'a 'b)))?

Answer 1

È possibile inserire la posizione della sintassi direttamente sull'espressione check-equal? per ottenere il comportamento desiderato. Ecco un esempio:

(define-syntax (my-test=? stx) 
    (syntax-case stx() 
    [(_ case1 case2) 
    (quasisyntax 
     (test-case "tests" 
     #,(syntax/loc stx (check-equal? case1 case2))))])) 

Mettere la posizione della sintassi sull'espressione esterna non propaga automaticamente in generale.

Con questa modifica, la posizione viene indicata come "15: 4" per me (anziché "11: 9"), dove si trova l'espressione (my-test=? 'a 'b).