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 > <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 _________________________ Racket Developers list: http://lists.racket-lang.org/dev
