Move coverage-increasing `void` out of `define-values`. · racket/htdp@8bcdd15 · 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 5, 2024

1 parent 9be44de commit 8bcdd15