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

Update base-env-indexing to use the new types.

Browse Source
This commit is contained in:
Vincent St-Amour 2011-01-11 15:19:17 -05:00
parent 46f086282d
commit b26531774b
1 changed files with 30 additions and 30 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

60
collects/typed-scheme/private/base-env-indexing-abs.rkt
View File

@ -21,7 +21,7 @@
(define-syntax-rule (indexing index-type) (define-syntax-rule (indexing index-type)
(make-env (make-env
[build-list (-poly (a) (index-type (-NonnegativeFixnum . -> . a) . -> . (-lst a)))] [build-list (-poly (a) (index-type (-Index . -> . a) . -> . (-lst a)))]
[make-list (-poly (a) (index-type a . -> . (-lst a)))] [make-list (-poly (a) (index-type a . -> . (-lst a)))]
[string-ref (-> -String index-type -Char)] [string-ref (-> -String index-type -Char)]
@ -31,31 +31,31 @@
[string-copy! (-String index-type -String [index-type index-type] . ->opt . -Void)] [string-copy! (-String index-type -String [index-type index-type] . ->opt . -Void)]
[read-string (index-type [-Input-Port] . ->opt . (Un -String (-val eof)))] [read-string (index-type [-Input-Port] . ->opt . (Un -String (-val eof)))]
[read-string! (-String [-Input-Port index-type index-type] . ->opt . (Un -NonnegativeFixnum (-val eof)))] [read-string! (-String [-Input-Port index-type index-type] . ->opt . (Un -Index (-val eof)))]
[read-bytes (index-type [-Input-Port] . ->opt . (Un -Bytes (-val eof)))] [read-bytes (index-type [-Input-Port] . ->opt . (Un -Bytes (-val eof)))]
[write-byte (cl-> [(index-type) -Void] [write-byte (cl-> [(index-type) -Void]
[(index-type -Output-Port) -Void])] [(index-type -Output-Port) -Void])]
[write-string (cl-> [(-String) -NonnegativeFixnum] [write-string (cl-> [(-String) -Index]
[(-String -Output-Port) -NonnegativeFixnum] [(-String -Output-Port) -Index]
[(-String -Output-Port index-type) -NonnegativeFixnum] [(-String -Output-Port index-type) -Index]
[(-String -Output-Port index-type index-type) -NonnegativeFixnum])] [(-String -Output-Port index-type index-type) -Index])]
[write-bytes (cl-> [(-Bytes) -NonnegativeFixnum] [write-bytes (cl-> [(-Bytes) -Index]
[(-Bytes -Output-Port) -NonnegativeFixnum] [(-Bytes -Output-Port) -Index]
[(-Bytes -Output-Port index-type) -NonnegativeFixnum] [(-Bytes -Output-Port index-type) -Index]
[(-Bytes -Output-Port index-type index-type) -NonnegativeFixnum])] [(-Bytes -Output-Port index-type index-type) -Index])]
[write-bytes-avail (cl-> [(-Bytes) -NonnegativeFixnum] [write-bytes-avail (cl-> [(-Bytes) -Index]
[(-Bytes -Output-Port) -NonnegativeFixnum] [(-Bytes -Output-Port) -Index]
[(-Bytes -Output-Port index-type) -NonnegativeFixnum] [(-Bytes -Output-Port index-type) -Index]
[(-Bytes -Output-Port index-type index-type) -NonnegativeFixnum])] [(-Bytes -Output-Port index-type index-type) -Index])]
[write-bytes-avail* (cl-> [(-Bytes) (-opt -NonnegativeFixnum)] [write-bytes-avail* (cl-> [(-Bytes) (-opt -Index)]
[(-Bytes -Output-Port) (-opt -NonnegativeFixnum)] [(-Bytes -Output-Port) (-opt -Index)]
[(-Bytes -Output-Port index-type) (-opt -NonnegativeFixnum)] [(-Bytes -Output-Port index-type) (-opt -Index)]
[(-Bytes -Output-Port index-type index-type) (-opt -NonnegativeFixnum)])] [(-Bytes -Output-Port index-type index-type) (-opt -Index)])]
[write-bytes-avail/enable-break (cl-> [(-Bytes) -NonnegativeFixnum] [write-bytes-avail/enable-break (cl-> [(-Bytes) -Index]
[(-Bytes -Output-Port) -NonnegativeFixnum] [(-Bytes -Output-Port) -Index]
[(-Bytes -Output-Port index-type) -NonnegativeFixnum] [(-Bytes -Output-Port index-type) -Index]
[(-Bytes -Output-Port index-type index-type) -NonnegativeFixnum])] [(-Bytes -Output-Port index-type index-type) -Index])]
@ -110,7 +110,7 @@
[-StrRx (Un -String -Regexp -PRegexp)] [-StrRx (Un -String -Regexp -PRegexp)]
[-BtsRx (Un -Bytes -Byte-Regexp -Byte-PRegexp)] [-BtsRx (Un -Bytes -Byte-Regexp -Byte-PRegexp)]
[-InpBts (Un -Input-Port -Bytes)]) [-InpBts (Un -Input-Port -Bytes)])
(->opt -Pattern (Un -String -InpBts) [N ?N ?outp] (optlist (-pair -NonnegativeFixnum -NonnegativeFixnum))))] (->opt -Pattern (Un -String -InpBts) [N ?N ?outp] (optlist (-pair -Index -Index))))]
[regexp-match-positions* [regexp-match-positions*
(let ([?outp (-opt -Output-Port)] (let ([?outp (-opt -Output-Port)]
[?N (-opt index-type)] [?N (-opt index-type)]
@ -118,7 +118,7 @@
[-StrRx (Un -String -Regexp -PRegexp)] [-StrRx (Un -String -Regexp -PRegexp)]
[-BtsRx (Un -Bytes -Byte-Regexp -Byte-PRegexp)] [-BtsRx (Un -Bytes -Byte-Regexp -Byte-PRegexp)]
[-InpBts (Un -Input-Port -Bytes)]) [-InpBts (Un -Input-Port -Bytes)])
(->opt -Pattern (Un -String -InpBts) [index-type ?N ?outp] (-lst (-pair -NonnegativeFixnum -NonnegativeFixnum))))] (->opt -Pattern (Un -String -InpBts) [index-type ?N ?outp] (-lst (-pair -Index -Index))))]
[take (-poly (a) ((-lst a) index-type . -> . (-lst a)))] [take (-poly (a) ((-lst a) index-type . -> . (-lst a)))]
@ -133,7 +133,7 @@
[vector-ref (-poly (a) ((-vec a) index-type . -> . a))] [vector-ref (-poly (a) ((-vec a) index-type . -> . a))]
[unsafe-vector-ref (-poly (a) ((-vec a) index-type . -> . a))] [unsafe-vector-ref (-poly (a) ((-vec a) index-type . -> . a))]
[unsafe-vector*-ref (-poly (a) ((-vec a) index-type . -> . a))] [unsafe-vector*-ref (-poly (a) ((-vec a) index-type . -> . a))]
[build-vector (-poly (a) (index-type (-NonnegativeFixnum . -> . a) . -> . (-vec a)))] [build-vector (-poly (a) (index-type (-Index . -> . a) . -> . (-vec a)))]
[vector-set! (-poly (a) (-> (-vec a) index-type a -Void))] [vector-set! (-poly (a) (-> (-vec a) index-type a -Void))]
[unsafe-vector-set! (-poly (a) (-> (-vec a) index-type a -Void))] [unsafe-vector-set! (-poly (a) (-> (-vec a) index-type a -Void))]
[unsafe-vector*-set! (-poly (a) (-> (-vec a) index-type a -Void))] [unsafe-vector*-set! (-poly (a) (-> (-vec a) index-type a -Void))]
@ -141,8 +141,8 @@
[make-vector (-poly (a) (cl-> [(index-type) (-vec (Un -Integer a))] [make-vector (-poly (a) (cl-> [(index-type) (-vec (Un -Integer a))]
[(index-type a) (-vec a)]))] [(index-type a) (-vec a)]))]
[bytes-ref (-> -Bytes index-type -NonnegativeFixnum)] [bytes-ref (-> -Bytes index-type -Byte)]
[unsafe-bytes-ref (-> -Bytes index-type -NonnegativeFixnum)] [unsafe-bytes-ref (-> -Bytes index-type -Byte)]
[bytes-set! (-> -Bytes index-type index-type -Void)] [bytes-set! (-> -Bytes index-type index-type -Void)]
[unsafe-bytes-set! (-> -Bytes index-type index-type -Void)] [unsafe-bytes-set! (-> -Bytes index-type index-type -Void)]
[subbytes (cl-> [(-Bytes index-type) -Bytes] [(-Bytes index-type index-type) -Bytes])] [subbytes (cl-> [(-Bytes index-type) -Bytes] [(-Bytes index-type index-type) -Bytes])]
@ -154,10 +154,10 @@
[string->bytes/utf-8 (-String [(Un (-val #f) index-type) index-type index-type] . ->opt . -Bytes)] [string->bytes/utf-8 (-String [(Un (-val #f) index-type) index-type index-type] . ->opt . -Bytes)]
[string->bytes/locale (-String [(Un (-val #f) index-type) index-type index-type] . ->opt . -Bytes)] [string->bytes/locale (-String [(Un (-val #f) index-type) index-type index-type] . ->opt . -Bytes)]
[string->bytes/latin-1 (-String [(Un (-val #f) index-type) index-type index-type] . ->opt . -Bytes)] [string->bytes/latin-1 (-String [(Un (-val #f) index-type) index-type index-type] . ->opt . -Bytes)]
[string-utf-8-length (-String [index-type index-type] . ->opt . -NonnegativeFixnum)] [string-utf-8-length (-String [index-type index-type] . ->opt . -Index)]
[bytes-utf-8-length (-Bytes [(Un (-val #f) -Char) index-type index-type] . ->opt . -NonnegativeFixnum)] [bytes-utf-8-length (-Bytes [(Un (-val #f) -Char) index-type index-type] . ->opt . -Index)]
[bytes-utf-8-ref (-Bytes [index-type (Un (-val #f) -Char) index-type index-type] . ->opt . -Char)] [bytes-utf-8-ref (-Bytes [index-type (Un (-val #f) -Char) index-type index-type] . ->opt . -Char)]
[bytes-utf-8-index (-Bytes [index-type (Un (-val #f) -Char) index-type index-type] . ->opt . -NonnegativeFixnum)] [bytes-utf-8-index (-Bytes [index-type (Un (-val #f) -Char) index-type index-type] . ->opt . -Index)]
[integer->integer-bytes (-Integer index-type Univ [Univ -Bytes index-type] . ->opt . -Bytes)] [integer->integer-bytes (-Integer index-type Univ [Univ -Bytes index-type] . ->opt . -Bytes)]
[integer-bytes->integer (-Bytes Univ [Univ index-type index-type] . ->opt . -Integer)] [integer-bytes->integer (-Bytes Univ [Univ index-type index-type] . ->opt . -Integer)]