> On Jul 5, 2019, at 10:51 AM, Matthew Flatt <[email protected]> wrote:
>
> DrRacket hides the other arguments to make the error message initially
> more compact. Click "..." in DrRacket to expose the arguments.
>
Thanks! The explanation has suddenly made it “intuitive” to me :)
Kevin
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/racket-users/58FFC892-D6FD-4927-8ACD-3FF48553A0C2%40gmail.com.
For more options, visit https://groups.google.com/d/optout.
