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

Fixed bugs in the tests.

Browse Source 
original commit: b0788372ea1fc619036656b88aab1f4736a4d5e3
This commit is contained in:
Vincent St-Amour 2010-07-13 18:34:44 -04:00
parent c413450d2c
commit 9c89287b24
2 changed files with 12 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
collects/tests/typed-scheme/optimizer/generic/dead-else.rkt
View File

@ -1,8 +1,8 @@
#lang typed/scheme #:optimize
(require racket/unsafe/ops)
(if (number? 3)
(+ 2.0 3.0)
(+ 4.0 5.0))
(if #t
(+ 2.0 3.0)
(+ 4.0 5.0))
(display (if (number? 3)
(+ 2.0 3.0)
(+ 4.0 5.0)))
(display (if #t
(+ 2.0 3.0)
(+ 4.0 5.0)))

12
collects/tests/typed-scheme/optimizer/generic/dead-then.rkt
View File

@ -1,8 +1,8 @@
#lang typed/scheme #:optimize
(require racket/unsafe/ops)
(if (number? "eh")
(+ 2.0 3.0)
(+ 4.0 5.0))
(if #f
(+ 2.0 3.0)
(+ 4.0 5.0))
(display (if (number? "eh")
(+ 2.0 3.0)
(+ 4.0 5.0)))
(display (if #f
(+ 2.0 3.0)
(+ 4.0 5.0)))