suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix broken tests that depended on an unsafe optimization.

Browse Source
This commit is contained in:
Vincent St-Amour 2010-09-07 17:31:30 -04:00
parent 4bbb1f4cd9
commit 14097dd90e
6 changed files with 14 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/tests/typed-scheme/optimizer/tests/binary-nonzero-fixnum.rkt
View File

@ -1,4 +1,4 @@
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(quotient (vector-length '#(1 2 3)) 2)
(modulo (vector-length '#(1 2 3)) 2)

4
collects/tests/typed-scheme/optimizer/tests/binary-nonzero-fixnum.rkt.log
View File

@ -1,3 +1,3 @@
binary-nonzero-fixnum.rkt line 4 col 11 - vector-length - vector-length
binary-nonzero-fixnum.rkt line 4 col 1 - quotient - binary nonzero fixnum
binary-nonzero-fixnum.rkt line 4 col 9 - vector-length - vector-length
binary-nonzero-fixnum.rkt line 4 col 1 - modulo - binary nonzero fixnum
1

2
collects/tests/typed-scheme/optimizer/tests/float-promotion.rkt
View File

@ -1,5 +1,5 @@
#lang typed/scheme
#:optimize
(require racket/unsafe/ops racket/flonum)
(+ (quotient 1 1) 2.0)
(+ (modulo 1 1) 2.0)
(+ (expt 100 100) 2.0)

4
collects/tests/typed-scheme/optimizer/tests/float-promotion.rkt.log
View File

@ -1,5 +1,5 @@
float-promotion.rkt line 4 col 4 - quotient - binary nonzero fixnum
float-promotion.rkt line 4 col 4 - modulo - binary nonzero fixnum
float-promotion.rkt line 4 col 1 - + - binary float
float-promotion.rkt line 5 col 1 - + - binary float
3.0
2.0
1e+200

2
collects/tests/typed-scheme/optimizer/tests/inexact-complex-fixnum.rkt
View File

@ -1,4 +1,4 @@
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(+ (quotient 2 1) 1.0+2.0i 3.0+6.0i)
(+ (modulo 2 1) 1.0+2.0i 3.0+6.0i)

14
collects/tests/typed-scheme/optimizer/tests/inexact-complex-fixnum.rkt.log
View File

@ -1,8 +1,8 @@
inexact-complex-fixnum.rkt line 4 col 4 - quotient - binary nonzero fixnum
inexact-complex-fixnum.rkt line 4 col 4 - quotient - binary nonzero fixnum
inexact-complex-fixnum.rkt line 4 col 3 - (#%app quotient (quote 2) (quote 1)) - float-coerce-expr in complex ops
inexact-complex-fixnum.rkt line 4 col 18 - 1.0+2.0i - unboxed literal
inexact-complex-fixnum.rkt line 4 col 27 - 3.0+6.0i - unboxed literal
inexact-complex-fixnum.rkt line 4 col 4 - modulo - binary nonzero fixnum
inexact-complex-fixnum.rkt line 4 col 4 - modulo - binary nonzero fixnum
inexact-complex-fixnum.rkt line 4 col 3 - (#%app modulo (quote 2) (quote 1)) - float-coerce-expr in complex ops
inexact-complex-fixnum.rkt line 4 col 16 - 1.0+2.0i - unboxed literal
inexact-complex-fixnum.rkt line 4 col 25 - 3.0+6.0i - unboxed literal
inexact-complex-fixnum.rkt line 4 col 1 - + - unboxed binary inexact complex
inexact-complex-fixnum.rkt line 4 col 0 - (#%app + (#%app quotient (quote 2) (quote 1)) (quote 1.0+2.0i) (quote 3.0+6.0i)) - unboxed inexact complex
6.0+8.0i
inexact-complex-fixnum.rkt line 4 col 0 - (#%app + (#%app modulo (quote 2) (quote 1)) (quote 1.0+2.0i) (quote 3.0+6.0i)) - unboxed inexact complex
4.0+8.0i