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

fix the type of > and indent

Browse Source 
svn: r13275

original commit: 4288ba636ec132eb91ede11dd9ab1f24263d01e8
This commit is contained in:
Eli Barzilay 2009-01-24 21:13:15 +00:00
parent 00daf4391f
commit 86e0c521fc
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/typed-scheme/private/base-env.ss
View File

@ -156,11 +156,11 @@
[sleep (N . -> . -Void)]
[= (->* (list N N) N B)]
[= (->* (list N N) N B)]
[>= (->* (list N N) N B)]
[< (->* (list N N) N B)]
[< (->* (list N N) N B)]
[<= (->* (list N N) N B)]
[> (->* (list N) N B)]
[> (->* (list N N) N B)]
[zero? (N . -> . B)]
[* (cl->* (->* '() -Integer -Integer) (->* '() N N))]
[/ (cl->* (->* (list N) N N))]