[racket-dev] Pre-Release Checklist for v6.0, corrected url

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Tue Dec 17 16:44:08 EST 2013

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 <robby at 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.mccarthy at 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
> >> <robby at 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.mccarthy at gmail.com>
> >> > wrote:
> >> >>
> >> >> On Mon, Dec 16, 2013 at 9:38 AM, Ryan Culpepper <ryanc at ccs.neu.edu>
> >> wrote:
> >> >> > * Jay McCarthy <jay.mccarthy at 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 <jay at 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 <jay at 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

Posted on the dev mailing list.