Re: [racket-users] prop:procedure, prop:match-expander, and contract blame

2015-04-16 Thread Jon Zeppieri
On Thu, Apr 16, 2015 at 7:32 AM, Alexander D. Knauth alexan...@knauth.org wrote: On Apr 15, 2015, at 2:29 PM, Jon Zeppieri zeppi...@gmail.com wrote: I'm trying to provide a struct, the struct type of which uses prop:procedure and prop:match-expander, and I'd like the procedure to have a

Re: [racket-users] prop:procedure, prop:match-expander, and contract blame

2015-04-16 Thread Alexander D. Knauth
On Apr 15, 2015, at 2:29 PM, Jon Zeppieri zeppi...@gmail.com wrote: I'm trying to provide a struct, the struct type of which uses prop:procedure and prop:match-expander, and I'd like the procedure to have a contract. On Apr 15, 2015, at 10:12 PM, Jon Zeppieri zeppi...@gmail.com wrote:

Re: [racket-users] prop:procedure, prop:match-expander, and contract blame

2015-04-16 Thread Jon Zeppieri
On Thu, Apr 16, 2015 at 8:02 AM, Jon Zeppieri zeppi...@gmail.com wrote: On Thu, Apr 16, 2015 at 7:32 AM, Alexander D. Knauth alexan...@knauth.org wrote: By the way, why wouldn’t you just use define-match-expander instead of defining the B struct? Because I need the same identifier to

Re: [racket-users] prop:procedure, prop:match-expander, and contract blame

2015-04-15 Thread Jon Zeppieri
You got it. On Apr 15, 2015, at 10:19 PM, Alexander D. Knauth alexan...@knauth.org wrote: On Apr 15, 2015, at 10:12 PM, Jon Zeppieri zeppi...@gmail.com wrote: On Wed, Apr 15, 2015 at 9:35 PM, Alexander D. Knauth alexan...@knauth.org wrote: On Apr 15, 2015, at 2:29 PM, Jon Zeppieri

Re: [racket-users] prop:procedure, prop:match-expander, and contract blame

2015-04-15 Thread Jon Zeppieri
On Wed, Apr 15, 2015 at 9:35 PM, Alexander D. Knauth alexan...@knauth.org wrote: On Apr 15, 2015, at 2:29 PM, Jon Zeppieri zeppi...@gmail.com wrote: I'm trying to provide a struct, the struct type of which uses prop:procedure and prop:match-expander, and I'd like the procedure to have a

Re: [racket-users] prop:procedure, prop:match-expander, and contract blame

2015-04-15 Thread Alexander D. Knauth
On Apr 15, 2015, at 10:12 PM, Jon Zeppieri zeppi...@gmail.com wrote: On Wed, Apr 15, 2015 at 9:35 PM, Alexander D. Knauth alexan...@knauth.org wrote: On Apr 15, 2015, at 2:29 PM, Jon Zeppieri zeppi...@gmail.com wrote: I'm trying to provide a struct, the struct type of which uses