more tests

svn: r9673
This commit is contained in:
Sam Tobin-Hochstadt 2008-05-06 00:34:28 +00:00
parent 56af42785d
commit 2fc38964e5
2 changed files with 6 additions and 0 deletions

View File

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

View File

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