From 0a434ecda336dd31c3a875bf4973f15b9c5aeb83 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 6 May 2008 00:34:28 +0000 Subject: [PATCH] more tests svn: r9673 original commit: 2fc38964e50d00a899c64c4517c858ad3cfaa512 --- collects/tests/typed-scheme/fail/box-fail.ss | 3 +++ collects/tests/typed-scheme/succeed/box-num.ss | 3 +++ 2 files changed, 6 insertions(+) create mode 100644 collects/tests/typed-scheme/fail/box-fail.ss create mode 100644 collects/tests/typed-scheme/succeed/box-num.ss diff --git a/collects/tests/typed-scheme/fail/box-fail.ss b/collects/tests/typed-scheme/fail/box-fail.ss new file mode 100644 index 00000000..8bf57130 --- /dev/null +++ b/collects/tests/typed-scheme/fail/box-fail.ss @@ -0,0 +1,3 @@ +#lang typed-scheme + +(let: ([x : (Boxof Number) (box "foo")]) x) \ No newline at end of file diff --git a/collects/tests/typed-scheme/succeed/box-num.ss b/collects/tests/typed-scheme/succeed/box-num.ss new file mode 100644 index 00000000..19250005 --- /dev/null +++ b/collects/tests/typed-scheme/succeed/box-num.ss @@ -0,0 +1,3 @@ +#lang typed-scheme + +(let: ([x : (Boxof Number) (box 1)]) x) \ No newline at end of file