add simple tests

svn: r18638
2010-03-27 00:31:29 +00:00 · 2010-03-27 00:31:29 +00:00 · 752e93fc88
commit 752e93fc88
parent 3e546fee60
1 changed files with 8 additions and 0 deletions
--- a/collects/tests/typed-scheme/succeed/simple-occurr.ss
+++ b/collects/tests/typed-scheme/succeed/simple-occurr.ss
@ -0,0 +1,8 @@
+#lang typed/scheme
+
+(: x (U #f Number))
+(define x 7)
+
+(if x (add1 x) 7)
+
+(if (number? x) (add1 x) 7)