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

add simple tests

Browse Source 
svn: r18638

original commit: 752e93fc88111d4edd189eef4a3dc133dd7269d5
This commit is contained in:
Sam Tobin-Hochstadt 2010-03-27 00:31:29 +00:00
parent 501766dde0
commit 8e2865524c
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/tests/typed-scheme/succeed/simple-occurr.ss Normal file
View File

@ -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)