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

Add types for:

Browse Source 
- regexp? 
- pregexp? 
- byte-regexp? 
- byte-pregexp? 
- regexp 
- pregexp 
- byte-regexp 
- byte-pregexp 
- regexp-quote 
- read-bytes-line

svn: r15595

original commit: 9c7584b8c80771bed4d2983617695c6564b719c5
This commit is contained in:
Noel Welsh 2009-07-28 10:41:27 +00:00
parent 40fa4f26b2
commit c1b6706298
1 changed files with 16 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -297,6 +297,19 @@
[current-command-line-arguments (-Param (-vec -String) (-vec -String))]
;; regexp stuff
[regexp? (make-pred-ty -Regexp)]
[pregexp? (make-pred-ty -PRegexp)]
[byte-regexp? (make-pred-ty -Byte-Regexp)]
[byte-pregexp? (make-pred-ty -Byte-PRegexp)]
[regexp (-String . -> . -Regexp)]
[pregexp (-String . -> . -PRegexp)]
[byte-regexp (-Bytes . -> . -Byte-Regexp)]
[byte-pregexp (-Bytes . -> . -Byte-PRegexp)]
[regexp-quote (cl-> [(-String) -String]
[(-String -Boolean) -String]
[(-Bytes) -Bytes]
[(-Bytes -Boolean) -Bytes])]
[regexp-match
(let ([?outp (-opt -Output-Port)]
[?N (-opt N)]
@ -482,6 +495,9 @@
[bytes-append (->* (list -Bytes) -Bytes -Bytes)]
[subbytes (cl-> [(-Bytes N) -Bytes] [(-Bytes N N) -Bytes])]
[bytes-length (-> -Bytes N)]
[read-bytes-line (cl-> [() -Bytes]
[(-Input-Port) -Bytes]
[(-Input-Port Sym) -Bytes])]
[open-input-file (->key -Pathlike #:mode (Un (-val 'binary) (-val 'text)) #f -Input-Port)]
[close-input-port (-> -Input-Port -Void)]
[close-output-port (-> -Output-Port -Void)]