Re: [racket] Fwd: interaction between (require racket) and check-expect

2011-11-05 Thread Robby Findler
They might even be able to see this with check syntax, as the require for redex will point to define-struct (I believe). FWIW, the plan is to have modules declare that they work with the teaching languages (or a subset of them) and then racket wouldn't make that declaration and then this would be

[racket] Fwd: interaction between (require racket) and check-expect

2011-11-05 Thread Adam Shaw
My students have found it on their own, and they're using it for things like "last". I have no problem slapping them on the wrist for that, but that's a separate issue. I just wanted to be able to explain to them why struct comparisons are suddenly broken. - Adam > On Nov 5, 2011, at 9:03 AM,