Re: [racket-dev] struct:name exports from 2htdp/image, mrlib/image-core, etc.

2013-08-07 Thread Matthias Felleisen
When you inject new names, things might break. On Aug 6, 2013, at 9:04 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: Can you explain what uses would break? Sam On Aug 6, 2013 4:21 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: That might interfere with normal uses of

[racket-dev] struct:name exports from 2htdp/image, mrlib/image-core, etc.

2013-08-06 Thread Asumu Takikawa
Hi all, A few teaching libraries like `2htdp/image` provide struct constructors and accessors, but don't export the struct type descriptor values. Does anyone mind if I add the exports to libraries like `2htdp/image`, `mrlib/image-core`, etc.? (it's needed for Typed Racket with require/typed)

Re: [racket-dev] struct:name exports from 2htdp/image, mrlib/image-core, etc.

2013-08-06 Thread Eric Dobson
I believe that TR will not look for the struct type descriptor if it is not in the static struct-info, so removing that might be another option. Especially since if it isn't provided from the module regularly. On Tue, Aug 6, 2013 at 4:21 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: That

Re: [racket-dev] struct:name exports from 2htdp/image, mrlib/image-core, etc.

2013-08-06 Thread Sam Tobin-Hochstadt
Can you explain what uses would break? Sam On Aug 6, 2013 4:21 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: That might interfere with normal uses of these libraries in *SL. -- Matthias On Aug 6, 2013, at 6:50 PM, Asumu Takikawa as...@ccs.neu.edu wrote: Hi all, A few teaching