Use sandboxes instead of duplicate files to test results when optimizing.
This commit is contained in:
Vincent St-Amour
parent
eadc2a7e4c
commit
46b2a2113a
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/racket #:optimize
|
||||
#lang typed/racket
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(apply + (map add1 (list 1 2 3)))
|
||||
(apply * (map add1 (list 1 2 3)))
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
(module begin-float typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(begin (- 2.0 3.0)
|
||||
(* 2.0 3.0)))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(begin (- 2.0 3.0)
|
||||
(* 2.0 3.0))
|
||||
|
|
|
|||
|
|
@ -1,5 +1,6 @@
|
|||
(module binary-fixnum typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(: f (All (X) ((Vectorof X) -> Natural)))
|
||||
(define (f v)
|
||||
(bitwise-and (vector-length v) 1)))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(: f (All (X) ((Vectorof X) -> Natural)))
|
||||
(define (f v)
|
||||
(bitwise-and (vector-length v) 1))
|
||||
|
|
|
|||
|
|
@ -1,3 +1,4 @@
|
|||
(module binary-nonzero-fixnum typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(quotient (vector-length '#(1 2 3)) 2))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(quotient (vector-length '#(1 2 3)) 2)
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(require racket/unsafe/ops)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(display (if (number? 3)
|
||||
(+ 2.0 3.0)
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
;; originally from nucleic3
|
||||
;; cond on substructs, branches were considered dead
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(display (if (number? "eh")
|
||||
(+ 2.0 3.0)
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
(module define-begin-float typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(define a (begin (display (- 2.0 3.0))
|
||||
(* 2.0 3.0))))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(define a (begin (display (- 2.0 3.0))
|
||||
(* 2.0 3.0)))
|
||||
|
|
|
|||
|
|
@ -1,3 +1,4 @@
|
|||
(module define-call-float typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(define x (cons (+ 1.0 2.0) 3.0)))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(define x (cons (+ 1.0 2.0) 3.0))
|
||||
|
|
|
|||
|
|
@ -1,3 +1,4 @@
|
|||
(module define-float typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(define x (+ 1.0 2.0)))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(define x (+ 1.0 2.0))
|
||||
|
|
|
|||
|
|
@ -1,3 +1,4 @@
|
|||
(module define-pair typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(define x (car '(1 3))))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(define x (car '(1 3)))
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme
|
||||
#:optimize
|
||||
;; to see if the harness supports having the 2 versions of a test being
|
||||
;; written in different languages
|
||||
(module different-langs typed/scheme #:optimize
|
||||
(+ 1 2))
|
||||
(+ 1 2)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,4 @@
|
|||
(module double-float typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(+ 2.0 2.0 2.0))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(+ 2.0 2.0 2.0)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,4 @@
|
|||
(module exact-inexact typed/scheme #:optimize
|
||||
(require racket/flonum)
|
||||
(exact->inexact (expt 10 100))) ; must not be a fixnum
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/flonum)
|
||||
(exact->inexact (expt 10 100)) ; must not be a fixnum
|
||||
|
|
|
|||
|
|
@ -1,3 +1,4 @@
|
|||
(module fixnum-comparison typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(< (vector-length '#(1 2 3)) (string-length "asdf")))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(< (vector-length '#(1 2 3)) (string-length "asdf"))
|
||||
|
|
|
|||
|
|
@ -1,3 +1,4 @@
|
|||
(module float-comp typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(< 1.0 2.0))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(< 1.0 2.0)
|
||||
|
|
|
|||
|
|
@ -1,5 +1,7 @@
|
|||
(module float-fun typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(: f (Float -> Float))
|
||||
(define (f x)
|
||||
(+ x 1.0)))
|
||||
#lang typed/racket
|
||||
#:optimize
|
||||
|
||||
(require racket/unsafe/ops)
|
||||
(: f (Float -> Float))
|
||||
(define (f x)
|
||||
(+ x 1.0))
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
(module float-promotion typed/scheme #:optimize
|
||||
(require racket/unsafe/ops racket/flonum)
|
||||
(+ (quotient 1 1) 2.0)
|
||||
(+ (expt 100 100) 2.0))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops racket/flonum)
|
||||
(+ (quotient 1 1) 2.0)
|
||||
(+ (expt 100 100) 2.0)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,4 @@
|
|||
(module flvector-length typed/scheme #:optimize
|
||||
(require racket/unsafe/ops racket/flonum)
|
||||
(flvector-length (flvector 0.0 1.2)))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops racket/flonum)
|
||||
(flvector-length (flvector 0.0 1.2))
|
||||
|
|
|
|||
|
|
@ -1,3 +1,4 @@
|
|||
(module fx-fl typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(exact->inexact 1))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(exact->inexact 1)
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(for: ((i : Integer #"123"))
|
||||
(display i))
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
(module in-list typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(for: ((i : Natural '(1 2 3)))
|
||||
(display i)))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(for: ((i : Natural '(1 2 3)))
|
||||
(display i))
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(for: ((i : Char "123"))
|
||||
(display i))
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(for: ((i : Integer (vector 1 2 3)))
|
||||
(display i))
|
||||
|
|
|
|||
|
|
@ -1,3 +1,4 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(conjugate (+ 1.0+2.0i 2.0+4.0i))
|
||||
|
|
|
|||
|
|
@ -1,3 +1,4 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(+ (conjugate 1.0+2.0i) (conjugate 2.0+4.0i))
|
||||
|
|
|
|||
|
|
@ -1,3 +1,4 @@
|
|||
(module inexact-complex-div typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(/ 1.0+2.0i 2.0+4.0i 3.0+6.0i))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(/ 1.0+2.0i 2.0+4.0i 3.0+6.0i)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,4 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(+ (quotient 2 1) 1.0+2.0i 3.0+6.0i)
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(map (lambda: ((x : Inexact-Complex))
|
||||
(string-append (real->decimal-string (real-part x) 10)
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(* 1.0 2.0+4.0i)
|
||||
(* 1.0+2.0i 2.0)
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(+ 1.0+2.0i 3.0)
|
||||
(+ 1.0 2.0+4.0i)
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(+ 1.0+2.0i 2.0 3.0+6.0i)
|
||||
(- 1.0 2.0+4.0i 3.0+6.0i)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,4 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(+ 1.0+2.0i (* +1.0i 2.0+4.0i))
|
||||
|
|
|
|||
|
|
@ -1,3 +1,4 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops racket/flonum)
|
||||
(+ (expt 2 100) 1.0+2.0i)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,4 @@
|
|||
(module inexact-complex-mult typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(* 1.0+2.0i 2.0+4.0i 3.0+6.0i))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(* 1.0+2.0i 2.0+4.0i 3.0+6.0i)
|
||||
|
|
|
|||
|
|
@ -1,5 +1,6 @@
|
|||
(module inexact-complex-parts typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(real-part 1.0+2.0i)
|
||||
(imag-part 1+2.0i)
|
||||
(real-part 1.0+2i))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(real-part 1.0+2.0i)
|
||||
(imag-part 1+2.0i)
|
||||
(real-part 1.0+2i)
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(require racket/unsafe/ops)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(require racket/unsafe/ops)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
((lambda: ((t : Integer))
|
||||
(+ (sin (* t 6.28)) 0.0+0.0i))
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
(module inexact-complex typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(+ 1.0+2.0i 2.0+4.0i)
|
||||
(- 1.0+2.0i 2.0+4.0i))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(+ 1.0+2.0i 2.0+4.0i)
|
||||
(- 1.0+2.0i 2.0+4.0i)
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
(module invalid-binary-nonzero-fixnum typed/scheme #:optimize
|
||||
(: f ( -> Void))
|
||||
(define (f) ; in a function, to prevent evaluation
|
||||
(display (quotient 4 0)))) ; 2 fixnums, but the second is 0, cannot optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(: f ( -> Void))
|
||||
(define (f) ; in a function, to prevent evaluation
|
||||
(display (quotient 4 0))) ; 2 fixnums, but the second is 0, cannot optimize
|
||||
|
|
|
|||
|
|
@ -1,2 +1,3 @@
|
|||
(module exact-inexact typed/scheme #:optimize
|
||||
(exact->inexact 1.0)) ; not an integer, can't optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(exact->inexact 1.0) ; not an integer, can't optimize
|
||||
|
|
|
|||
|
|
@ -1,3 +1,4 @@
|
|||
(module float-comp typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(< 1.0 2))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(< 1.0 2)
|
||||
|
|
|
|||
|
|
@ -1,2 +1,3 @@
|
|||
(module float-promotion typed/scheme #:optimize
|
||||
(/ 1 2.0)) ; result is not a float, can't optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(/ 1 2.0) ; result is not a float, can't optimize
|
||||
|
|
|
|||
|
|
@ -1,2 +1,3 @@
|
|||
(module invalid-inexact-complex-parts.rkt typed/scheme #:optimize
|
||||
(real-part 1+2i))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(real-part 1+2i)
|
||||
|
|
|
|||
|
|
@ -1,2 +1,3 @@
|
|||
(module invalid-make-flrectangular typed/scheme #:optimize
|
||||
(make-rectangular 1 2))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(make-rectangular 1 2)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,4 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(make-polar 0 0)
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(: f ((MListof Integer) -> Integer))
|
||||
(define (f x)
|
||||
(mcar x))
|
||||
|
|
|
|||
|
|
@ -1,2 +1,3 @@
|
|||
(module invalid-sqrt typed/scheme #:optimize
|
||||
(sqrt -2.0)) ; not a nonnegative flonum, can't optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(sqrt -2.0) ; not a nonnegative flonum, can't optimize
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(require racket/unsafe/ops)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(require racket/unsafe/ops)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
(module invalid-vector-ref typed/scheme #:optimize
|
||||
(: f ((Vectorof Integer) -> Integer))
|
||||
(define (f x)
|
||||
(vector-ref x 0))) ; type is (Vectorof Integer), length is unknown, can't optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(: f ((Vectorof Integer) -> Integer))
|
||||
(define (f x)
|
||||
(vector-ref x 0)) ; type is (Vectorof Integer), length is unknown, can't optimize
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
(module invalid-vector-set typed/scheme #:optimize
|
||||
(: f ((Vectorof Integer) -> Void))
|
||||
(define (f x)
|
||||
(vector-set! x 0 2))) ; type is (Vectorof Integer), length is ot known, can't optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(: f ((Vectorof Integer) -> Void))
|
||||
(define (f x)
|
||||
(vector-set! x 0 2)) ; type is (Vectorof Integer), length is ot known, can't optimize
|
||||
|
|
|
|||
|
|
@ -1,3 +1,4 @@
|
|||
(module known-vector-length typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(+ 2 (vector-length (ann (vector 1 2) (Vector Integer Integer)))))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(+ 2 (vector-length (ann (vector 1 2) (Vector Integer Integer))))
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
(module let-float typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(let ((x (+ 3.0 2.0)))
|
||||
(* 9.0 x)))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(let ((x (+ 3.0 2.0)))
|
||||
(* 9.0 x))
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(require racket/unsafe/ops)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(require racket/unsafe/ops)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/racket/base #:optimize
|
||||
#lang typed/racket/base
|
||||
#:optimize
|
||||
|
||||
(require racket/unsafe/ops)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
(module make-flrectangular typed/scheme #:optimize
|
||||
(require racket/unsafe/ops racket/flonum)
|
||||
(make-rectangular 1.0 2.2)
|
||||
(make-flrectangular 1.0 2.2))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops racket/flonum)
|
||||
(make-rectangular 1.0 2.2)
|
||||
(make-flrectangular 1.0 2.2)
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(require racket/unsafe/ops)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(require racket/unsafe/ops)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(: x (MPairof Integer Float))
|
||||
(define x (mcons 1 1.0))
|
||||
|
|
|
|||
|
|
@ -1,3 +1,4 @@
|
|||
(module n-ary-float typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(+ 1.0 2.0 3.0))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(+ 1.0 2.0 3.0)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,4 @@
|
|||
(module n-ary-inexact-complex typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(+ 1.0+2.0i 2.0+4.0i 3.0+6.0i 4.0+8.0i))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(+ 1.0+2.0i 2.0+4.0i 3.0+6.0i 4.0+8.0i)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,4 @@
|
|||
(module nested-float typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(+ 2.0 (+ 3.0 4.0)))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(+ 2.0 (+ 3.0 4.0))
|
||||
|
|
|
|||
|
|
@ -1,3 +1,4 @@
|
|||
(module nested-float typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(+ 2.0 (* 3.0 4.0)))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(+ 2.0 (* 3.0 4.0))
|
||||
|
|
|
|||
|
|
@ -1,3 +1,4 @@
|
|||
(module nested-inexact-complex typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(+ 1.0+2.0i (- 2.0+4.0i 3.0+6.0i)))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(+ 1.0+2.0i (- 2.0+4.0i 3.0+6.0i))
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(require racket/unsafe/ops)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,3 +1,4 @@
|
|||
(module nested-pair typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(car (cdr '(1 2))))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(car (cdr '(1 2)))
|
||||
|
|
|
|||
|
|
@ -1,3 +1,4 @@
|
|||
(module nested-pair2 typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(car (cdr (cons 3 (cons (cons 2 '()) 1)))))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(car (cdr (cons 3 (cons (cons 2 '()) 1))))
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(require racket/unsafe/ops)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(require racket/unsafe/ops)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,7 +1,8 @@
|
|||
(module pair-fun typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(: f ((Listof Integer) -> Integer))
|
||||
(define (f x)
|
||||
(if (null? x)
|
||||
1
|
||||
(car x))))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(: f ((Listof Integer) -> Integer))
|
||||
(define (f x)
|
||||
(if (null? x)
|
||||
1
|
||||
(car x)))
|
||||
|
|
|
|||
|
|
@ -1,2 +1,3 @@
|
|||
(module quote typed/scheme #:optimize
|
||||
'(+ 1.0 2.0))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
'(+ 1.0 2.0)
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/racket/base #:optimize
|
||||
#lang typed/racket/base
|
||||
#:optimize
|
||||
|
||||
(require racket/unsafe/ops)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,3 +1,4 @@
|
|||
(module simple-float typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(+ 2.0 3.0))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(+ 2.0 3.0)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,4 @@
|
|||
(module simple-pair typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(car (cons 1 2)))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(car (cons 1 2))
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(require racket/unsafe/ops)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,5 +1,6 @@
|
|||
(module sqrt typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(: f (Nonnegative-Float -> Nonnegative-Float))
|
||||
(define (f x)
|
||||
(sqrt x)))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(: f (Nonnegative-Float -> Nonnegative-Float))
|
||||
(define (f x)
|
||||
(sqrt x))
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(require racket/unsafe/ops)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,6 +1,7 @@
|
|||
(module structs typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(define-struct: pt ((x : Integer) (y : Integer)) #:mutable)
|
||||
(define a (pt 3 4))
|
||||
(pt-x a)
|
||||
(set-pt-y! a 5))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(define-struct: pt ((x : Integer) (y : Integer)) #:mutable)
|
||||
(define a (pt 3 4))
|
||||
(pt-x a)
|
||||
(set-pt-y! a 5)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,4 @@
|
|||
(module unary-fixnum-nested typed/scheme #:optimize
|
||||
(require racket/unsafe/ops racket/fixnum)
|
||||
(abs (bitwise-not (length '(1 2 3)))))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops racket/fixnum)
|
||||
(abs (bitwise-not (length '(1 2 3))))
|
||||
|
|
|
|||
|
|
@ -1,3 +1,4 @@
|
|||
(module unary-fixnum typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(bitwise-not 4))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(bitwise-not 4)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,4 @@
|
|||
(module float-unary typed/scheme #:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(sin 2.0))
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
(sin 2.0)
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(require racket/unsafe/ops)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(require racket/unsafe/ops)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(require racket/unsafe/ops)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(require racket/unsafe/ops)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(require racket/unsafe/ops)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(require racket/unsafe/ops)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(require racket/unsafe/ops racket/flonum)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(require racket/unsafe/ops racket/flonum)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(require racket/unsafe/ops)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(require racket/unsafe/ops)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(require racket/unsafe/ops)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(require racket/unsafe/ops)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(require racket/unsafe/ops)
|
||||
|
||||
|
|
|
|||
|
|
@ -1,8 +1,9 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(require racket/unsafe/ops)
|
||||
|
||||
(letrec ((#{f : (Any -> Any)} (lambda: ((x : Any)) (f x)))
|
||||
(#{x : Inexact-Complex} 1.0+2.0i)
|
||||
(#{y : Inexact-Complex} (+ 2.0+4.0i 3.0+6.0i)))
|
||||
(letrec: ((f : (Any -> Any) (lambda: ((x : Any)) (f x)))
|
||||
(x : Inexact-Complex 1.0+2.0i)
|
||||
(y : Inexact-Complex (+ 2.0+4.0i 3.0+6.0i)))
|
||||
(+ x y))
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
#lang typed/scheme #:optimize
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(require racket/unsafe/ops)
|
||||
|
||||
|
|
|
|||
Some files were not shown because too many files have changed in this diff Show More
Loading…
Reference in New Issue
Block a user