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

more tests

Browse Source 
svn: r9673

original commit: 2fc38964e50d00a899c64c4517c858ad3cfaa512
This commit is contained in:
Sam Tobin-Hochstadt 2008-05-06 00:34:28 +00:00
parent f7e9881b1d
commit 0a434ecda3
2 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/tests/typed-scheme/fail/box-fail.ss Normal file
View File

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

3
collects/tests/typed-scheme/succeed/box-num.ss Normal file
View File

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