Re: [racket] Unexpected results with impersonators and make-keyword-procedure

2015-03-09 Thread Matthew Flatt
Oops... I'll push a repair soon. Thanks! At Mon, 9 Mar 2015 16:58:41 -0400, Scott Moore wrote: > Hi Matthew, > > Thanks for working on this so quickly! Unfortunately, It looks like there is > a > bug in the fix that causes segfaults when checking impersonator properties on > keyword procedure

Re: [racket] Unexpected results with impersonators and make-keyword-procedure

2015-03-09 Thread Scott Moore
Hi Matthew, Thanks for working on this so quickly! Unfortunately, It looks like there is a bug in the fix that causes segfaults when checking impersonator properties on keyword procedures that are not impersonators. I’ve included a small test case below. Thanks again, Scott #lang racket (def

Re: [racket] Unexpected results with impersonators and make-keyword-procedure

2015-03-08 Thread Matthew Flatt
I agree that this is a bug --- specific to impersonators that are not chaperones --- and I've pushed a repair to the Git repo. The general repair was to make impersonator-property predicates and accessors sensitive to `prop:impersonator-of`. When a structure impersoator does not have a particular

[racket] Unexpected results with impersonators and make-keyword-procedure

2015-03-06 Thread Scott Moore
Hi, I've run into some strange behavior with the interaction between impersonators and make-keyword-procedure. I expect that when not invoked with keywords, the result of make-keyword-procedure and a lambda with the same form should be equivalent. Instead, they behave differently when impersonated