Hi

@samth Can I get some clarification on this issue? Can I close it? https://github.com/lexi-lambda/racket-2htdp-typed/issues/6

@lexi.lambda I agree that your program is the right one, but why was there that error with a wrapper in the original program?

What error? When I ran that program, I didn’t get an error.

Oh weird

I didn’t actually try it, just forwarded a bug report from John Reppy, who’s teaching with it

I’ll ask him

Oh I know what happened

It’s the bug with Union contracts

So it’s fixed now, but before missed the unwrapping

@lexi.lambda on another note, you would be interested in the work by Andre van Tonder on macro hygiene

He has a srfi with a system that does hygiene with the quotation rather than the expansion step

Which is really what you’re looking for

Interesting, I’ll look into that, thanks.

Re: typed/2htdp, is the appropriate response “update Racket”, then, or is there something I should change?

I doubt you need to do anything

I see that @mflatt made the same suggestion on email