[racket-dev] [DrDr] R28413 (timeout 4) (unclean 16) (stderr 35) (changes 22)

From: Vincent St-Amour (stamourv at ccs.neu.edu)
Date: Wed Mar 26 14:05:11 EDT 2014

Right. I'll fix the TR random tester.

Vincent


At Wed, 26 Mar 2014 13:25:42 -0400,
Sam Tobin-Hochstadt wrote:
> 
> On Wed, Mar 26, 2014 at 1:10 PM, Robby Findler
> <robby at eecs.northwestern.edu> wrote:
> > Just to confirm: Redex isn't doing anything wrong, right?
> 
> Correct -- I think `real` was always allowed to generate such numbers,
> but it didn't before.
> 
> Sam
> 
> >
> > Redex is now using the in-order enumeration generation in a default
> > configuration (for a little while before adding some of the old-style random
> > generated terms).
> >
> > So if you want to see what kinds of things it generates, you can use
> > generate-term with the #:i-th argument.
> >
> > Robby
> >
> >
> >
> > On Wed, Mar 26, 2014 at 12:03 PM, Eric Dobson <eric.n.dobson at gmail.com>
> > wrote:
> >>
> >> Looks like what is actually happening is that redex is actually
> >> generating reals for this program now.
> >>
> >> #lang racket
> >>
> >> (require redex/reduction-semantics)
> >> (define-language tr-arith
> >>   [n real])
> >>
> >> (redex-check tr-arith n #t
> >>    #:prepare (lambda (x) (displayln x) x))
> >>
> >> Before we were only getting small integers.
> >>
> >> On Wed, Mar 26, 2014 at 9:46 AM, Eric Dobson <eric.n.dobson at gmail.com>
> >> wrote:
> >> > This push has started breaking the random TR tests. I think the issue
> >> > is that TR assumed that redex wouldn't generate so large numbers that
> >> > it exceeded the flonum range. Could that have changed in this commit?
> >> > Or changed so that were generated earlier in random testing? If so the
> >> > issue is definitely on the TR side, but just want to confirm that the
> >> > theory is likely.
> >> >
> >> > On Wed, Mar 26, 2014 at 4:58 AM,  <drdr at racket-lang.org> wrote:
> >> >> DrDr has finished building push #28413 after 1.20h.
> >> >>
> >> >> http://drdr.racket-lang.org/28413/
> >> >>
> >> >> A file you are responsible for has a condition that may need
> >> >> inspecting.
> >> >>   stderr:
> >> >>
> >> >> http://drdr.racket-lang.org/28413/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt
> >> >>
> >> >>   unclean:
> >> >>
> >> >> http://drdr.racket-lang.org/28413/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt
> >> >>
> >> >>
> >
> >
> >
> > _________________________
> >   Racket Developers list:
> >   http://lists.racket-lang.org/dev
> >
> _________________________
>   Racket Developers list:
>   http://lists.racket-lang.org/dev

Posted on the dev mailing list.