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
