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

From: Sam Tobin-Hochstadt (samth at cs.indiana.edu)
Date: Wed Mar 26 13:25:42 EDT 2014

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
>

Posted on the dev mailing list.