Ah --- I think I see what I got wrong, and I'll work on a repair. Here's a small test case:
(define f (lambda (x y #:z [z 1]) x)) (struct s (v) #:property prop:procedure 0) (define f2 (s f)) (chaperone-of? (chaperone-procedure f2 (make-keyword-procedure void)) f2) ; => #f, should be #t At Tue, 17 Dec 2013 12:28:34 -0600, Robby Findler wrote: > It looks like reverting commit 5bae9773aaa2d68c71240b8d7b0b58f43fb21342 > makes the test cases pass in the webserver. (I did this on the release > branch.) > > So we still want that small example, but now perhaps we know where to look > more accurately for fixes. > > Robby > > > On Tue, Dec 17, 2013 at 12:11 PM, Robby Findler <ro...@eecs.northwestern.edu > > wrote: > > > Okay, well I've looked quickly and I see it too and I also don't see new > > files that I've added based on that contract commit. > > > > I do see a commit that came about after my contracts commit > > (5bae9773aaa2d68c71240b8d7b0b58f43fb21342) that changed relevant things > > here. > > > > I'll keep investigating, but if you have time to help make a small > > example, that'd be useful. > > > > Robby > > > > > > > > > > On Tue, Dec 17, 2013 at 9:47 AM, Jay McCarthy <jay.mccar...@gmail.com>wrote: > > > >> I don't understand what's happening. I install to ./racket-5.91 and I > >> go in to the directory and do: > >> > >> bin/racket -t > >> share/pkgs/web-server-test/tests/web-server/run-all-tests.rkt > >> > >> and get the same error messages as DrDr. The stack traces all make > >> mention of the racket-5.91 directory, so I'm pretty sure it is not > >> getting my main installation. > >> > >> Jay > >> > >> > >> On Mon, Dec 16, 2013 at 1:38 PM, Robby Findler > >> <ro...@eecs.northwestern.edu> wrote: > >> > Are you running with the right version? The contract change isn't in the > >> > release build. > >> > > >> > Robby > >> > > >> > > >> > On Mon, Dec 16, 2013 at 2:23 PM, Jay McCarthy <jay.mccar...@gmail.com> > >> > wrote: > >> >> > >> >> On Mon, Dec 16, 2013 at 9:38 AM, Ryan Culpepper <ry...@ccs.neu.edu> > >> wrote: > >> >> > * Jay McCarthy <jay.mccar...@gmail.com> > >> >> > - Web Server Tests > >> >> > >> >> These don't pass and have the same error that's here: > >> >> > >> >> > >> >> > >> > http://drdr.racket-lang.org/27931/pkgs/web-server-pkgs/web-server-test/tests/we > b-server/run-all-tests.rkt > >> >> > >> >> I don't know what the error means, I think it is fall-out from the > >> >> contract change? > >> >> > >> >> > - XML Tests > >> >> > >> >> Passed > >> >> > >> >> > - HTML Tests > >> >> > >> >> The html tests aren't in the racket test bundle > >> >> > >> >> > - PLAI Tests > >> >> > - Racklog tests > >> >> > - Datalog tests > >> >> > >> >> All pass > >> >> > >> >> -- > >> >> Jay McCarthy <j...@cs.byu.edu> > >> >> Assistant Professor / Brigham Young University > >> >> http://faculty.cs.byu.edu/~jay > >> >> > >> >> "The glory of God is Intelligence" - D&C 93 > >> >> _________________________ > >> >> Racket Developers list: > >> >> http://lists.racket-lang.org/dev > >> > > >> > > >> > >> > >> > >> -- > >> Jay McCarthy <j...@cs.byu.edu> > >> Assistant Professor / Brigham Young University > >> http://faculty.cs.byu.edu/~jay > >> > >> "The glory of God is Intelligence" - D&C 93 > >> > > > > > _________________________ > Racket Developers list: > http://lists.racket-lang.org/dev _________________________ Racket Developers list: http://lists.racket-lang.org/dev
