On Wed, Mar 26, 2014 at 1:10 PM, Robby Findler <ro...@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.dob...@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.dob...@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, <d...@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
