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

Fix collection references to use the new name.

Browse Source
This commit is contained in:
Vincent St-Amour 2014-12-16 14:15:54 -05:00
parent 134f793ccc
commit 67bb30da0b
179 changed files with 179 additions and 179 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
typed-racket-test/optimizer/known-bugs.rkt
View File

@ -49,7 +49,7 @@
;; TODO add this as a test
;; type-before = Single-Flonum-Complex
;; type-after = Float-Complex
;; redex-check: <collects>/tests/typed-racket/tr-random-testing.rkt:258
;; redex-check: <collects>/typed-racket-test/tr-random-testing.rkt:258
;; counterexample found after 499 attempts:
;(log (make-rectangular -inf.f -inf.f))

2
typed-racket-test/optimizer/missed-optimizations/all-real.rkt
View File

@ -11,7 +11,7 @@ END
END
#lang typed/racket
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
;; all-real expressions
;; They currently get reported as missed float optimizations.

2
typed-racket-test/optimizer/missed-optimizations/fixnum-no-bound.rkt
View File

@ -17,7 +17,7 @@ END
END
#lang typed/racket
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(require racket/fixnum)
(fx+ (ann 2 Fixnum) (ann 3 Fixnum))
(fx- (ann 2 Fixnum) (ann 3 Fixnum))

2
typed-racket-test/optimizer/missed-optimizations/fixnum.rkt
View File

@ -61,7 +61,7 @@ END
END
#lang typed/racket
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(require racket/fixnum)

2
typed-racket-test/optimizer/missed-optimizations/mandelbrot.rkt
View File

@ -25,7 +25,7 @@ END
""
#lang typed/racket
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
;; from Matthew's talk at Mozilla
;; 2 things were blocking futures:

2
typed-racket-test/optimizer/missed-optimizations/marketplace-struct.rkt
View File

@ -21,7 +21,7 @@ TR opt: marketplace-struct.rkt 133:35 (process-endpoints p) -- struct ref
END
""
#lang typed/racket/base
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
;; excerpt from marketplace
;; a struct constructor logging bug was causing this to fail

2
typed-racket-test/optimizer/missed-optimizations/multi-file1.rkt
View File

@ -5,7 +5,7 @@ TR missed opt: multi-file1.rkt 5:2 (* x (ann 3 Integer)) -- all args float-arg-e
END
""
#lang typed/racket
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(provide f)
(: f : Float -> Real)

2
typed-racket-test/optimizer/missed-optimizations/multi-file2.rkt
View File

@ -8,7 +8,7 @@ END
END
#lang typed/racket
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(require "multi-file1.rkt")
(f (* 3.4 (+ 3 5)))

2
typed-racket-test/optimizer/missed-optimizations/multiple-irritants.rkt
View File

@ -8,6 +8,6 @@ END
END
#lang typed/racket
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(* (ann 4 Integer) (ann 5 Integer) 6.0)

2
typed-racket-test/optimizer/missed-optimizations/nested-same-kind.rkt
View File

@ -29,7 +29,7 @@ END
END
#lang typed/racket
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
;; when a single "bubble" causes missed optimizations to cascade, a single
;; close call should be reported, with the outermost expression being reported
;; but with the innermost flagged as the cause

2
typed-racket-test/optimizer/missed-optimizations/pair.rkt
View File

@ -52,7 +52,7 @@ END
END
#lang typed/racket
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(require compatibility/mlist)
;; car/cdr can be optimized if they are guaranteed to be applied only to

2
typed-racket-test/optimizer/missed-optimizations/precision-loss.rkt
View File

@ -28,7 +28,7 @@ END
END
#lang typed/racket
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(: r (Real -> Real))
(define (r x) x)
;; warn when the extra precision gained by doing exact computations would

2
typed-racket-test/optimizer/missed-optimizations/real-in-float-expr.rkt
View File

@ -19,7 +19,7 @@ END
END
#lang typed/racket
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(* (ann 3 Real) ; with type Real, typechecker must assume it could be exact 0
2.3)

2
typed-racket-test/optimizer/missed-optimizations/regexp.rkt
View File

@ -11,7 +11,7 @@ END
END
#lang typed/racket
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(regexp-match "foo" "foo")
(regexp-match #"foo" #"foo")

2
typed-racket-test/optimizer/missed-optimizations/sequence.rkt
View File

@ -4,7 +4,7 @@ TR missed opt: sequence.rkt 4:22 s -- non-specialized for clause
END
""
#lang typed/racket/base
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(: seq-generic : (Sequenceof Integer) -> Void)
(define (seq-generic s)

2
typed-racket-test/optimizer/missed-optimizations/struct-constructor.rkt
View File

@ -4,7 +4,7 @@ TR info: struct-constructor.rkt 6:7 foo -- struct constructor
END
""
#lang typed/racket
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(provide (struct-out foo))

2
typed-racket-test/optimizer/missed-optimizations/unary-float.rkt
View File

@ -15,7 +15,7 @@ END
END
#lang typed/racket
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(sin (ann 3.4 Real))
(sin 3)

2
typed-racket-test/optimizer/missed-optimizations/unexpected-complex.rkt
View File

@ -11,7 +11,7 @@ END
END
#lang typed/racket
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
;; a Complex type is "unexpected" if it pops up in an expressions for which
;; all subexpressions have a Real type

2
typed-racket-test/optimizer/tests/add1.rkt
View File

@ -17,7 +17,7 @@ END
END
#lang typed/racket #:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(ann (add1 5) Fixnum)
(add1 (ann 5 Fixnum))
(ann (sub1 3) Fixnum)

2
typed-racket-test/optimizer/tests/annotations.rkt
View File

@ -7,7 +7,7 @@ TR opt: annotations.rkt 8:10 (+ 1.0 2.0) -- binary float
END
""
#lang typed/racket #:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(define a (+ 1.0 2.0))

2
typed-racket-test/optimizer/tests/apply-plus.rkt
View File

@ -11,7 +11,7 @@ END
#lang typed/racket
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(apply + (map add1 (list 1 2 3)))
(apply * (map add1 (list 1 2 3)))

2
typed-racket-test/optimizer/tests/begin-float.rkt
View File

@ -11,7 +11,7 @@ END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(begin (- 2.0 3.0)
(* 2.0 3.0))

2
typed-racket-test/optimizer/tests/binary-fixnum.rkt
View File

@ -6,7 +6,7 @@ END
""
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(: f (All (X) ((Vectorof X) -> Natural)))
(define (f v)

2
typed-racket-test/optimizer/tests/binary-nonzero-fixnum.rkt
View File

@ -10,6 +10,6 @@ END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(modulo (vector-length '#(1 2 3)) 2)

2
typed-racket-test/optimizer/tests/both-if-branches-dead.rkt
View File

@ -5,7 +5,7 @@ TR opt: both-if-branches-dead.rkt 5:6 (* 3 4) -- dead else branch
END
""
#lang typed/racket/base
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
;; Test that code where neither branch is taken works
(let/ec: k : Any
(if (k (void))

2
typed-racket-test/optimizer/tests/bounds-check.rkt
View File

@ -38,7 +38,7 @@ END
END
#lang typed/racket
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(require racket/flonum racket/extflonum)

2
typed-racket-test/optimizer/tests/box.rkt
View File

@ -12,7 +12,7 @@ END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(: x (Boxof Integer))
(define x (box 1))

2
typed-racket-test/optimizer/tests/case-arrow.rkt
View File

@ -11,7 +11,7 @@ TR missed opt: case-arrow.rkt 15:9 (/ (* (- max min) x) p) -- all args float-arg
END
""
#lang typed/racket
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
;; Typechecking functions with case-> types causes the body to be typechecked
;; multiple times, which is fine, except that it used to cause the type table

2
typed-racket-test/optimizer/tests/case-lambda-dead-branch.rkt
View File

@ -5,7 +5,7 @@ TR opt: case-lambda-dead-branch.rkt 6:5 (x y) -- dead case-lambda branch
END
""
#lang typed/racket
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(: f (case-> (Symbol Symbol -> String)))
(define f

2
typed-racket-test/optimizer/tests/complex-exp.rkt
View File

@ -11,6 +11,6 @@ END
END
#lang typed/racket
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(- (exp 0) 1.0+2.0i)

2
typed-racket-test/optimizer/tests/cross-module-struct.rkt
View File

@ -3,7 +3,7 @@
END
""
#lang typed/scheme #:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
;; will be imported by cross-module-struct2
(provide (struct-out x))

2
typed-racket-test/optimizer/tests/cross-module-struct2.rkt
View File

@ -7,7 +7,7 @@ END
END
#lang typed/scheme #:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(require (file "cross-module-struct.rkt"))
(define a (make-x 1))

2
typed-racket-test/optimizer/tests/dead-case-lambda.rkt
View File

@ -9,7 +9,7 @@ END
END
#lang typed/racket
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(procedure-arity
(ann (case-lambda

2
typed-racket-test/optimizer/tests/dead-else.rkt
View File

@ -10,7 +10,7 @@ END
"5.05.0"
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(display (if (number? 3)
(+ 2.0 3.0)
(+ 4.0 5.0)))

2
typed-racket-test/optimizer/tests/dead-inf-comp.rkt
View File

@ -97,7 +97,7 @@ END
END
#lang typed/racket/base
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(define: rat : Exact-Rational 2/3)

2
typed-racket-test/optimizer/tests/dead-substructs.rkt
View File

@ -10,7 +10,7 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
;; originally from nucleic3
;; cond on substructs, branches were considered dead

2
typed-racket-test/optimizer/tests/dead-then.rkt
View File

@ -10,7 +10,7 @@ END
"9.09.0"
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(display (if (number? "eh")
(+ 2.0 3.0)
(+ 4.0 5.0)))

2
typed-racket-test/optimizer/tests/define-begin-float.rkt
View File

@ -7,6 +7,6 @@ END
"-1.0"
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(define a (begin (display (- 2.0 3.0))
(* 2.0 3.0)))

2
typed-racket-test/optimizer/tests/define-call-float.rkt
View File

@ -5,6 +5,6 @@ END
""
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(define x (cons (+ 1.0 2.0) 3.0))

2
typed-racket-test/optimizer/tests/define-float.rkt
View File

@ -5,6 +5,6 @@ END
""
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(define x (+ 1.0 2.0))

2
typed-racket-test/optimizer/tests/define-pair.rkt
View File

@ -5,6 +5,6 @@ END
""
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(define x (car '(1 3)))

2
typed-racket-test/optimizer/tests/derived-pair.rkt
View File

@ -17,7 +17,7 @@ END
END
#lang typed/racket #:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(caar (cons (cons 1 2) 3))
(cadr (cons 1 (cons 2 3)))

2
typed-racket-test/optimizer/tests/derived-pair2.rkt
View File

@ -37,7 +37,7 @@ END
END
#lang typed/racket #:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(caaar (cons (cons (cons 1 2) 3) 4))
(caadr (cons 1 (cons (cons 2 3) 4)))

2
typed-racket-test/optimizer/tests/derived-pair3.rkt
View File

@ -85,7 +85,7 @@ END
END
#lang typed/racket #:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(caaaar (cons (cons (cons (cons 1 2) 3) 4) 5))
(caaadr (cons 1 (cons (cons (cons 2 3) 4) 5)))

2
typed-racket-test/optimizer/tests/different-langs.rkt
View File

@ -8,7 +8,7 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
;; to see if the harness supports having the 2 versions of a test being
;; written in different languages
(/ 1 2)

2
typed-racket-test/optimizer/tests/double-float.rkt
View File

@ -8,6 +8,6 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(+ 2.0 2.0 2.0)

2
typed-racket-test/optimizer/tests/drop-pure-pred.rkt
View File

@ -8,7 +8,7 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(let ()
(define x 7)

2
typed-racket-test/optimizer/tests/exact-inexact.rkt
View File

@ -24,7 +24,7 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(exact->inexact (expt 10 100)) ; must not be a fixnum
(round (exact->inexact (expt 2.3 3.2))) ; already a float

2
typed-racket-test/optimizer/tests/expt.rkt
View File

@ -11,7 +11,7 @@ END
END
#lang typed/racket
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
;; PR 12526
;; result of expt was Float-Complex, and shouldn't have been

2
typed-racket-test/optimizer/tests/extflonums.rkt
View File

@ -64,7 +64,7 @@ END
END
#lang typed/racket
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(require racket/extflonum)

2
typed-racket-test/optimizer/tests/false-huh-dead-code.rkt
View File

@ -9,6 +9,6 @@ END
END
#lang typed/racket
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(if (false? #t) 1 2)
(if (not #t) 1 2)

2
typed-racket-test/optimizer/tests/fixnum-bounded-expr.rkt
View File

@ -57,7 +57,7 @@ END
END
#lang typed/racket
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(require racket/fixnum)

2
typed-racket-test/optimizer/tests/fixnum-comparison.rkt
View File

@ -10,6 +10,6 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(< (vector-length '#(1 2 3)) (string-length "asdf"))

2
typed-racket-test/optimizer/tests/float-comp.rkt
View File

@ -8,6 +8,6 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(< 1.0 2.0)

2
typed-racket-test/optimizer/tests/float-complex-conjugate-top.rkt
View File

@ -11,6 +11,6 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(conjugate (+ 1.0+2.0i 2.0+4.0i))

2
typed-racket-test/optimizer/tests/float-complex-conjugate.rkt
View File

@ -15,7 +15,7 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(+ (conjugate 1.0+2.0i) (conjugate 2.0+4.0i))
(conjugate 1.0+0.0i)

2
typed-racket-test/optimizer/tests/float-complex-div.rkt
View File

@ -11,6 +11,6 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(/ 1.0+2.0i 2.0+4.0i 3.0+6.0i)

2
typed-racket-test/optimizer/tests/float-complex-fixnum.rkt
View File

@ -12,6 +12,6 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(+ (modulo 2 1) 1.0+2.0i 3.0+6.0i)

2
typed-racket-test/optimizer/tests/float-complex-float-div.rkt
View File

@ -37,7 +37,7 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(map (lambda: ((x : Float-Complex))
(string-append (real->decimal-string (real-part x) 10)

2
typed-racket-test/optimizer/tests/float-complex-float-mul.rkt
View File

@ -34,7 +34,7 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(* 1.0 2.0+4.0i)
(* 1.0+2.0i 2.0)

2
typed-racket-test/optimizer/tests/float-complex-float-small.rkt
View File

@ -30,7 +30,7 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(+ 1.0+2.0i 3.0)
(+ 1.0 2.0+4.0i)

2
typed-racket-test/optimizer/tests/float-complex-float.rkt
View File

@ -26,7 +26,7 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(+ 1.0+2.0i 2.0 3.0+6.0i)
(- 1.0 2.0+4.0i 3.0+6.0i)

2
typed-racket-test/optimizer/tests/float-complex-i.rkt
View File

@ -13,6 +13,6 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(+ 1.0+2.0i (* +1.0i 2.0+4.0i))

2
typed-racket-test/optimizer/tests/float-complex-integer.rkt
View File

@ -10,6 +10,6 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(+ (expt 2 100) 1.0+2.0i)

2
typed-racket-test/optimizer/tests/float-complex-mult.rkt
View File

@ -11,6 +11,6 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(* 1.0+2.0i 2.0+4.0i 3.0+6.0i)

2
typed-racket-test/optimizer/tests/float-complex-number-mul.rkt
View File

@ -14,5 +14,5 @@ END
END
#lang typed/racket
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(imag-part (* 0.0+1.0i (* 1 2)))

2
typed-racket-test/optimizer/tests/float-complex-parts.rkt
View File

@ -15,7 +15,7 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(real-part 1.0+2.0i)
(imag-part 1+2.0i)

2
typed-racket-test/optimizer/tests/float-complex-parts2.rkt
View File

@ -26,7 +26,7 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(require racket/unsafe/ops)

2
typed-racket-test/optimizer/tests/float-complex-parts3.rkt
View File

@ -38,7 +38,7 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(require racket/unsafe/ops)

2
typed-racket-test/optimizer/tests/float-complex-sin.rkt
View File

@ -14,7 +14,7 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
((lambda: ((t : Integer))
(+ (sin (* t 6.28)) 0.0+0.0i))
1)

2
typed-racket-test/optimizer/tests/float-complex-unary.rkt
View File

@ -27,7 +27,7 @@ END
END
#lang typed/racket
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(real-part (+ 1.0+2.0i (+ (* 3.0+4.0i 5.0+6.0i))))
(real-part (+ 7.0+8.0i (* (+ 9.0+10.0i 11.0+12.0i))))

2
typed-racket-test/optimizer/tests/float-complex.rkt
View File

@ -14,7 +14,7 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(+ 1.0+2.0i 2.0+4.0i)
(- 1.0+2.0i 2.0+4.0i)

2
typed-racket-test/optimizer/tests/float-fun.rkt
View File

@ -5,7 +5,7 @@ END
""
#lang typed/racket
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(: f (Float -> Float))
(define (f x)

2
typed-racket-test/optimizer/tests/float-promotion.rkt
View File

@ -11,7 +11,7 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(+ (assert (modulo 1 2) exact-positive-integer?) 2.0)
(+ (expt 100 100) 2.0)

2
typed-racket-test/optimizer/tests/float-real.rkt
View File

@ -16,7 +16,7 @@ END
END
#lang typed/racket
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
;; reals within float expressions should be coerced when it's safe to do so
(+ 2.3 (ann 3 Positive-Real)) ; safe
(+ 2.3 (assert (* (ann 2 Integer) 3.2) positive?)) ; inner = unsafe, outer = unsafe

2
typed-racket-test/optimizer/tests/flrandom.rkt
View File

@ -8,7 +8,7 @@ TR opt: flrandom.rkt 6:6 (flrandom (current-pseudo-random-generator)) -- float r
END
""
#lang typed/racket
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(require racket/flonum)
(void (random)) ; yes

2
typed-racket-test/optimizer/tests/flvector-length.rkt
View File

@ -8,6 +8,6 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(require racket/flonum)
(flvector-length (flvector 0.0 1.2))

2
typed-racket-test/optimizer/tests/fx-fl.rkt
View File

@ -8,6 +8,6 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(exact->inexact 1)

2
typed-racket-test/optimizer/tests/fx2fl.rkt
View File

@ -20,7 +20,7 @@ END
""
#lang typed/racket
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(require racket/fixnum)

2
typed-racket-test/optimizer/tests/in-bytes.rkt
View File

@ -6,6 +6,6 @@ END
"495051"
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(for: ((i : Integer #"123"))
(display i))

2
typed-racket-test/optimizer/tests/in-list.rkt
View File

@ -6,6 +6,6 @@ END
"123"
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(for: ((i : Natural '(1 2 3)))
(display i))

2
typed-racket-test/optimizer/tests/in-range.rkt
View File

@ -6,6 +6,6 @@ END
"0123"
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(for ([i 4])
(display i))

2
typed-racket-test/optimizer/tests/in-string.rkt
View File

@ -6,6 +6,6 @@ END
"123"
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(for: ((i : Char "123"))
(display i))

2
typed-racket-test/optimizer/tests/in-vector.rkt
View File

@ -6,6 +6,6 @@ END
"123"
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(for: ((i : Integer (vector 1 2 3)))
(display i))

2
typed-racket-test/optimizer/tests/invalid-binary-nonzero-fixnum.rkt
View File

@ -5,7 +5,7 @@ END
""
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(: f ( -> Void))
(define (f) ; in a function, to prevent evaluation
(display (quotient 4 0))) ; 2 fixnums, but the second is 0, cannot optimize

2
typed-racket-test/optimizer/tests/invalid-derived-pair.rkt
View File

@ -5,7 +5,7 @@ TR missed opt: invalid-derived-pair.rkt 5:2 (cadr x) -- car/cdr on a potentially
END
""
#lang typed/racket #:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
;; can't optimize, the lists may not be long enough
(: f ((Listof Integer) -> Integer))

2
typed-racket-test/optimizer/tests/invalid-exact-inexact.rkt
View File

@ -8,5 +8,5 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(exact->inexact 1.0) ; not an integer, can't optimize

2
typed-racket-test/optimizer/tests/invalid-float-comp.rkt
View File

@ -8,6 +8,6 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(< 1.0 2)

2
typed-racket-test/optimizer/tests/invalid-float-promotion.rkt
View File

@ -12,7 +12,7 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
;; the ann are necessary, since (* PosReal Float) -> Float (exact 0 is not in PosReal)
(/ (ann 1 Integer) 2.0) ; result is not a float, can't optimize
(* (ann 2/3 Exact-Rational) 3.0)

2
typed-racket-test/optimizer/tests/invalid-fxquotient.rkt
View File

@ -9,7 +9,7 @@ END
END
#lang typed/racket/base
(require racket/fixnum)
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(define: fixnum-min : Nonpositive-Fixnum (assert (- (expt 2 30)) fixnum?))
(define: q : Natural (quotient fixnum-min -1)) ; this can't be optimized safely

2
typed-racket-test/optimizer/tests/invalid-inexact-complex-parts.rkt
View File

@ -7,5 +7,5 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(real-part 1+2i)

2
typed-racket-test/optimizer/tests/invalid-log-complex.rkt
View File

@ -8,6 +8,6 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(real-part (log (ann 2.0 Float)))

2
typed-racket-test/optimizer/tests/invalid-make-flrectangular.rkt
View File

@ -7,5 +7,5 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(make-rectangular 1 2)

2
typed-racket-test/optimizer/tests/invalid-make-polar.rkt
View File

@ -7,6 +7,6 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(make-polar 0 0)

2
typed-racket-test/optimizer/tests/invalid-mpair.rkt
View File

@ -5,7 +5,7 @@ END
""
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(: f ((MListof Integer) -> Integer))
(define (f x)
(mcar x))

2
typed-racket-test/optimizer/tests/invalid-sqrt.rkt
View File

@ -8,5 +8,5 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(sqrt -2.0) ; not a nonnegative flonum, can't optimize

2
typed-racket-test/optimizer/tests/invalid-unboxed-let.rkt
View File

@ -18,7 +18,7 @@ END
"6.0+12.0i7.0+14.0i1.0+2.0i1"
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(let ((t1 (+ 1.0+2.0i 2.0+4.0i)) ; can be unboxed
(t2 (+ 3.0+6.0i 4.0+8.0i)) ; can't be unboxed

2
typed-racket-test/optimizer/tests/invalid-unboxed-let2.rkt
View File

@ -16,7 +16,7 @@ END
END
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port

2
typed-racket-test/optimizer/tests/invalid-vector-ref.rkt
View File

@ -5,7 +5,7 @@ END
""
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(: f ((Vectorof Integer) -> Integer))
(define (f x)
(vector-ref x 0)) ; type is (Vectorof Integer), length is unknown, can't optimize

2
typed-racket-test/optimizer/tests/invalid-vector-set.rkt
View File

@ -5,7 +5,7 @@ END
""
#lang typed/scheme
#:optimize
#reader tests/typed-racket/optimizer/reset-port
#reader typed-racket-test/optimizer/reset-port
(: f ((Vectorof Integer) -> Void))
(define (f x)
(vector-set! x 0 2)) ; type is (Vectorof Integer), length is ot known, can't optimize

Some files were not shown because too many files have changed in this diff Show More