Just to confirm: Redex isn't doing anything wrong, right? 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