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

Commit

Move coverage-increasing void out of define-values.

Browse files

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

Fixes racket#200.

Loading branch information

samth committed Sep 26, 2023

1 parent 73ec2b9 commit cd69b29