Cover doesn't mark log message and argument expressions as covered

[jackfirth]

Given this program:

#lang racket
(define-logger foo)
(log-foo-warning "blah ~v" 'foo)

Running raco cover produces the following:

I suspect this is caused by srcloc issues with the macros produced by define-logger.

[florence]

Looking at the expansion this is actually correct. The expansion gives:

(let-values (((l) foo-logger))
        (if (#%app log-level? l 'warning 'foo)
          (let-values ()
            (#%app
             log-message
             l
             'warning
             (#%app format '"blah ~v" 'foo)
             (#%app current-continuation-marks)))
          (#%app void)))

Which seams to avoid logging anything if the log-level isn't set to warning.

in the program:

#lang racket
(define-logger foo)
(make-log-receiver foo-logger 'warning)
(log-foo-warning "blah ~v" 'foo)

the message is covered.