Re: [racket-users] contracts: the blame name game

2017-01-03 Thread Jon Zeppieri
Thanks Robby! -J On Tue, Jan 3, 2017 at 8:58 AM, Robby Findler wrote: > There may be a way to do this without it, but I've just pushed a > change to define-module-boundary-contract that lets you specify the > name that you want in the error message. > > Also, if you can use a `let`, that's prob

Re: [racket-users] contracts: the blame name game

2017-01-03 Thread Robby Findler
There may be a way to do this without it, but I've just pushed a change to define-module-boundary-contract that lets you specify the name that you want in the error message. Also, if you can use a `let`, that's probably better than procedure-rename, eg: (define make-bar (let ([bar (λ (x [y 1] [

[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 racket/ba