[racket-users] contracts: the blame name game

2017-01-02 Thread Jon Zeppieri
Over time I've run into a number of problems trying to provide custom struct constructors and match expanders under the same name, while also attaching module-level contracts to the constructors. I've figured out most of the issues (I think), but one remains. Here's an example: === #lang

Re: [racket-users] New website design feedback

2017-01-02 Thread Hendrik Boom
On Mon, Jan 02, 2017 at 11:14:02AM +, Stephen De Gabrielle wrote: > - it resizes nicely to the small screen of my phone (i don't see the point > as I can't use DrRacket on my iPhone...this is not a bad thing as typing > code on a phone is a terrible idea) I often look up documentation on my

Re: [racket-users] New website design feedback

2017-01-02 Thread Greg Trzeciak
On Monday, January 2, 2017 at 5:50:22 PM UTC+1, Matthew Butterick wrote: > They're just little SVG doodles made with `racket/draw`. I like to use > complex numbers to draw things because they're already two-dimensional. A > couple doodles have random elements so they change slightly when the

Re: [racket-users] New website design feedback

2017-01-02 Thread Matthew Butterick
> On Jan 2, 2017, at 5:42 AM, Greg Trzeciak wrote: > > The reason I asked is because I've noticed some differences between images in > between version of the new website so I thought that maybe some generative > art package was used and I wondered what it could be.

Re: [racket-users] Errors in (Dr)Racket

2017-01-02 Thread Philip McGrath
I understand entirely that this was not the sort of case you seemed to have in mind, but I'll follow up because I worry that, in the process of making a minimal example, I may have obscured the actual problem. "The fix can be easily located in [my] code" in the sense that it's clear that the error

Re: [racket-users] Errors in (Dr)Racket

2017-01-02 Thread Matthias Felleisen
> On Jan 2, 2017, at 7:25 AM, Philip McGrath wrote: > > > So why have I not complained about this? > > First, most generally, because the bug is clearly my fault. Hi Philip, thanks for this example. What Robby and I had in mind are calls to errors inside a

Re: [racket-users] New website design feedback

2017-01-02 Thread Greg Trzeciak
On Monday, January 2, 2017 at 12:14:15 PM UTC+1, spdegabrielle wrote: > I'm guessing the 2htdp/image library was used to generate the nice > backgrounds as per the #lang racket Sierpinski example. You could also use > the racket/draw library. The reason I asked is because I've noticed some

[racket-users] Traits, inspectors, and serializable classes

2017-01-02 Thread Philip McGrath
Is there (or, if not, could there be) a way to specify the inspector when working with traits (from racket/trait)? I can write > (mixin () () > (inspect #f) ... ) but "inspect" does not seem a valid clause inside the "trait" form. (I could also imagine that this might need to be determined

Re: [racket-users] Errors in (Dr)Racket

2017-01-02 Thread Philip McGrath
Stephen's mention of web server code reminded of me one of the very few situations when I've struggled with Racket error messages, so I'll both share an example and explain why I haven't complained about it before. Here's a buggy program: > #lang web-server > (require web-server/servlet-env >

Re: [racket-users] New website design feedback

2017-01-02 Thread Stephen De Gabrielle
Great new design FWIW I noticed the following - when you select the code examples the grey is replaced with documentation style linked code - it resizes nicely to the small screen of my phone (i don't see the point as I can't use DrRacket on my iPhone...this is not a bad thing as typing code on a