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

More tests for unboxed args of let-bound functions.

Browse Source 
original commit: bb144249183f8e287a37a1590df5a5aa219862f8
This commit is contained in:
Vincent St-Amour 2010-07-27 21:04:55 -04:00
parent da5586ca57
commit 7c875c3bb2
4 changed files with 37 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions2.rkt Normal file
View File

@ -0,0 +1,9 @@
#lang typed/scheme #:optimize
(require racket/unsafe/ops)
;; function with multiple complex args
(let ((f (lambda: ((x : Inexact-Complex) (y : Inexact-Complex))
(+ x y))))
(f (+ 1.0+2.0i 2.0+4.0i)
3.0+6.0i))

9
collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions3.rkt Normal file
View File

@ -0,0 +1,9 @@
#lang typed/scheme #:optimize
(require racket/unsafe/ops)
;; function with a mix of complex and non-complex args
(let ((f (lambda: ((x : Inexact-Complex) (y : Float))
(+ x y))))
(f (+ 1.0+2.0i 2.0+4.0i)
3.0))

9
collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions4.rkt Normal file
View File

@ -0,0 +1,9 @@
#lang typed/scheme #:optimize
(require racket/unsafe/ops)
;; function with a mix of complex and non-complex args, non-complex first
(let ((f (lambda: ((y : Float) (x : Inexact-Complex))
(+ x y))))
(f 3.0
(+ 1.0+2.0i 2.0+4.0i)))

10
collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions5.rkt Normal file
View File

@ -0,0 +1,10 @@
#lang typed/scheme #:optimize
(require racket/unsafe/ops)
;; invalid: f "escapes", according to our analysis
(letrec: ((f : (Inexact-Complex -> Inexact-Complex)
(lambda: ((x : Inexact-Complex))
(let: ((y : (Inexact-Complex -> Inexact-Complex) f))
x))))
(f (+ 1.0+2.0i 2.0+4.0i)))