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

Test for more stuff.

Browse Source 
svn: r9675

original commit: 5439241f53b403e95db3b9c637f769877f834866
This commit is contained in:
Sam Tobin-Hochstadt 2008-05-06 00:44:18 +00:00
parent 95d93f7ebb
commit 433004b549
2 changed files with 12 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
collects/tests/typed-scheme/fail/box-fail.ss
View File

@ -1,3 +1,8 @@
#lang typed-scheme
(let: ([x : (Boxof Number) (box "foo")]) x)
(let: ([x : (Boxof Number) (box "foo")]) x)
(let ()
(: x (Boxof Number))
(define x (box "foo"))
x)

7
collects/tests/typed-scheme/succeed/box-num.ss
View File

@ -1,3 +1,8 @@
#lang typed-scheme
(let: ([x : (Boxof Number) (box 1)]) x)
(let ([x : (Boxof Number) (box 1)]) x)
(let ()
(: x (Boxof Number))
(define x (box 1))
x)