From 752e93fc88111d4edd189eef4a3dc133dd7269d5 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Sat, 27 Mar 2010 00:31:29 +0000 Subject: [PATCH] add simple tests svn: r18638 --- collects/tests/typed-scheme/succeed/simple-occurr.ss | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 collects/tests/typed-scheme/succeed/simple-occurr.ss diff --git a/collects/tests/typed-scheme/succeed/simple-occurr.ss b/collects/tests/typed-scheme/succeed/simple-occurr.ss new file mode 100644 index 0000000000..fcfa4850f2 --- /dev/null +++ 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) \ No newline at end of file