Move coverage-increasing `void` out of `define-values`. · racket/htdp@d0dcd07 · GitHub

Commit

Move coverage-increasing void out of define-values.

Browse files

Also copy properties appropriately to support `'errortrace-annotate`.

Fixes #200.

Loading branch information

samth committed Jan 6, 2024

1 parent eff7ae0 commit d0dcd07