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

Tests for correct use of reverse in procedure? reduction

Browse Source
This commit is contained in:
Gustavo Massaccesi 2015-02-26 17:58:40 -03:00 committed by Matthew Flatt
parent 6cf28d55cd
commit de3fa9a855
1 changed files with 48 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

49
pkgs/racket-test-core/tests/racket/optimize.rktl
View File

@ -2145,6 +2145,53 @@
(define foo integer?) (define foo integer?)
(display #t))) (display #t)))
(test-comp '(lambda ()
(let ([is3 (lambda () 3)])
(letrec ([g (lambda () 3)]
[is0 (lambda () 0)])
g)))
'(lambda ()
(let ([is3 (lambda () 3)])
(letrec ([g (lambda () (is3))]
[is0 (lambda () 0)])
g))))
(test-comp '(lambda (f)
(let ([x (f)])
(letrec ([g (lambda () (list x #t))]
[dummy (lambda () 0)])
g)))
'(lambda (f)
(let ([x (f)])
(letrec ([g (lambda () (list x (procedure? x)))]
[dummy (lambda () 0)])
g)))
#f)
(test-comp '(lambda (f)
(let ([x (f)])
(car x)
(letrec ([g (lambda () (list x #t))]
[dummy (lambda () 0)])
g)))
'(lambda (f)
(let ([x (f)])
(car x)
(letrec ([g (lambda () (list x (pair? x)))]
[dummy (lambda () 0)])
g))))
(test-comp '(lambda (f)
(let ([x (f)])
(letrec ([g (lambda () (car x) (list x #t))]
[dummy (lambda () 0)])
g)))
'(lambda (f)
(let ([x (f)])
(letrec ([g (lambda () (car x) (list x (pair? x)))]
[dummy (lambda () 0)])
g))))
(test-comp '(module m racket/base (test-comp '(module m racket/base
(void 10)) (void 10))
'(module m racket/base)) '(module m racket/base))
@ -2188,7 +2235,7 @@
(define inlinable-function (lambda (x) (list 1 x 3)))) (define inlinable-function (lambda (x) (list 1 x 3))))
(require 'in) (require 'in)
(lambda () (display (procedure? inlinable-function)) (procedure? inlinable-function)))) (lambda () (display (procedure? inlinable-function)) (procedure? inlinable-function))))
(let ([try-equiv (let ([try-equiv
(lambda (extras) (lambda (extras)
(lambda (a b) (lambda (a b)