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

bindings for the rest of scheme/bool

Browse Source 
svn: r12548

original commit: e27ae4d4577ee78df53fb6afee0152007112e244
This commit is contained in:
Sam Tobin-Hochstadt 2008-11-20 22:30:29 +00:00
parent 8cfc33caf9
commit 54035a23e6
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -3,6 +3,7 @@
(require
scheme/list
scheme/tcp
scheme
(only-in rnrs/lists-6 fold-left)
'#%paramz
(only-in '#%kernel [apply kernel:apply])
@ -493,4 +494,9 @@
[tcp-close (-TCP-Listener . -> . -Void )]
[tcp-connect (-String -Integer . -> . (-values (list -Input-Port -Output-Port)))]
[tcp-connect/enable-break (-String -Integer . -> . (-values (list -Input-Port -Output-Port)))]
[tcp-listen (N . -> . -TCP-Listener)]
[tcp-listen (N . -> . -TCP-Listener)]
;; scheme/bool
[boolean=? (B B . -> . B)]
[symbol=? (Sym Sym . -> . B)]
[false? (make-pred-ty (-val #f))]