shriram / plai-public

Repository for (for now) filing bug reports about PLAI.
6 stars 0 forks source link

mention macro hiding settings when introducing macro stepper #22

Open bremner opened 10 months ago

bremner commented 10 months ago

Contact Details

bremner@unb.ca

Which part are you commenting on?

p. 75 v3.2.2

What's your suggestion?

One thing that bit me, and might bite students is that the first time you use the macro stepper, macro-hiding defaults to off (at least in DrRacket 8.10). This makes the output long and hard to understand.