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

Merge pull request #242 from gus-massa/17-12-Signatures

Browse Source 
fix a few signatures
original commit: 7c543c9208530c72818eb41c1f2797001a01607b
This commit is contained in:
Andy Keep 2017-12-24 17:22:14 -05:00 committed by GitHub
commit 4f9145544e
3 changed files with 23 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
LOG
View File

@ -763,4 +763,8 @@
to use define-who instead of repeating 'substring-fill! in all the error
messages.
5_4.ss, 5_6.ss
- fix mat of substring-fill!
after the recent change, the result of substring-fill! is void
5_5.ms
- fix a few signatures
primdata.ss

8
mats/5_5.ms
View File

@ -699,8 +699,12 @@
(error? (substring-fill! 'a 0 1 #\a))
(error? (substring-fill! "hi" 0 'a #\a))
(error? (substring-fill! "hi" 1 0 #\a))
(equal? (substring-fill! "hitme!" 0 5 #\a) "aaaaa!")
(eqv? (substring-fill! "" 0 0 #\a) "")
(let ([s (string-copy "hitme!")])
(substring-fill! s 0 5 #\a)
(equal? s "aaaaa!"))
(let ([s ""])
(substring-fill! s 0 0 #\a)
(eqv? s ""))
(let ([s (string-copy "ABCDE")])
(and (begin
(substring-fill! s 0 0 #\$)

24
s/primdata.ss
View File

@ -1147,21 +1147,21 @@
(bytevector-truncate! [sig [(bytevector length) -> (bytevector)]] [flags true])
(bytevector->immutable-bytevector [sig [(bytevector) -> (bytevector)]] [flags alloc])
(bytevector-s24-ref [sig [(bytevector sub-index symbol) -> (s24)]] [flags true mifoldable discard])
(bytevector-s24-set! [sig [(bytevector sub-index symbol s24) -> (void)]] [flags true])
(bytevector-s24-set! [sig [(bytevector sub-index s24 symbol) -> (void)]] [flags true])
(bytevector-s40-ref [sig [(bytevector sub-index symbol) -> (s40)]] [flags true mifoldable discard])
(bytevector-s40-set! [sig [(bytevector sub-index symbol s40) -> (void)]] [flags true])
(bytevector-s40-set! [sig [(bytevector sub-index s40 symbol) -> (void)]] [flags true])
(bytevector-s48-ref [sig [(bytevector sub-index symbol) -> (s48)]] [flags true mifoldable discard])
(bytevector-s48-set! [sig [(bytevector sub-index symbol s48) -> (void)]] [flags true])
(bytevector-s48-set! [sig [(bytevector sub-index s48 symbol) -> (void)]] [flags true])
(bytevector-s56-ref [sig [(bytevector sub-index symbol) -> (s56)]] [flags true mifoldable discard])
(bytevector-s56-set! [sig [(bytevector sub-index symbol s56) -> (void)]] [flags true])
(bytevector-s56-set! [sig [(bytevector sub-index s56 symbol) -> (void)]] [flags true])
(bytevector-u24-ref [sig [(bytevector sub-index symbol) -> (u24)]] [flags true mifoldable discard])
(bytevector-u24-set! [sig [(bytevector sub-index symbol u24) -> (void)]] [flags true])
(bytevector-u24-set! [sig [(bytevector sub-index u24 symbol) -> (void)]] [flags true])
(bytevector-u40-ref [sig [(bytevector sub-index symbol) -> (u40)]] [flags true mifoldable discard])
(bytevector-u40-set! [sig [(bytevector sub-index symbol u40) -> (void)]] [flags true])
(bytevector-u40-set! [sig [(bytevector sub-index u40 symbol) -> (void)]] [flags true])
(bytevector-u48-ref [sig [(bytevector sub-index symbol) -> (u48)]] [flags true mifoldable discard])
(bytevector-u48-set! [sig [(bytevector sub-index symbol u48) -> (void)]] [flags true])
(bytevector-u48-set! [sig [(bytevector sub-index u48 symbol) -> (void)]] [flags true])
(bytevector-u56-ref [sig [(bytevector sub-index symbol) -> (u56)]] [flags true mifoldable discard])
(bytevector-u56-set! [sig [(bytevector sub-index symbol u56) -> (void)]] [flags true])
(bytevector-u56-set! [sig [(bytevector sub-index u56 symbol) -> (void)]] [flags true])
(bytevector-compress [sig [(ptr) -> (ptr)]] [flags])
(bytevector-uncompress [sig [(ptr) -> (ptr)]] [flags])
(call/1cc [sig [(procedure) -> (ptr ...)]] [flags])
@ -1343,7 +1343,7 @@
(fxvector [sig [(fixnum ...) -> (fxvector)]] [flags alloc cp02])
(fxvector->list [sig [(fxvector) -> (list)]] [flags alloc])
(fxvector-copy [sig [(fxvector) -> (fxvector)]] [flags alloc])
(fxvector-fill! [sig [(fxvector fixnum) -> (fxvector)]] [flags true])
(fxvector-fill! [sig [(fxvector fixnum) -> (void)]] [flags true])
(fxvector->immutable-fxvector [sig [(fxvector) -> (fxvector)]] [flags alloc])
(fxvector-length [sig [(fxvector) -> (length)]] [flags pure mifoldable discard true])
(fxvector-ref [sig [(fxvector sub-index) -> (fixnum)]] [flags mifoldable discard cp02])
@ -1648,7 +1648,7 @@
(symbol-hashtable-update! [sig [(symbol-hashtable symbol procedure ptr) -> (void)]] [flags])
(syntax->annotation [sig [(ptr) -> (ptr)]] [flags pure unrestricted mifoldable discard])
(syntax->list [sig [(ptr) -> (list)]] [flags alloc])
(syntax->vector [sig [(ptr) -> (list)]] [flags alloc])
(syntax->vector [sig [(ptr) -> (vector)]] [flags alloc])
(syntax-error [sig [(ptr string ...) -> (bottom)]] [flags abort-op])
(syntax-object->datum [sig [(ptr) -> (ptr)]] [flags pure unrestricted mifoldable discard])
(system [sig [(string) -> (ptr)]] [flags])
@ -1675,8 +1675,8 @@
(truncate-file [sig [(output-port) (output-port sub-ptr) -> (void)]] [flags])
(truncate-port [sig [(output-port) (output-port sub-ptr) -> (void)]] [flags])
(unbox [sig [(box) -> (ptr)]] [flags mifoldable discard])
(unget-u8 [sig [(binary-input-port u8) -> (void)]] [flags true])
(unget-char [sig [(textual-input-port char) -> (void)]] [flags true])
(unget-u8 [sig [(binary-input-port ptr) -> (void)]] [flags true])
(unget-char [sig [(textual-input-port ptr) -> (void)]] [flags true])
(unlock-object [sig [(ptr) -> (void)]] [flags unrestricted true])
(unread-char [sig [(char) (char textual-input-port) -> (void)]] [flags true])
(utf-16-codec [sig [() -> (codec)] [(sub-symbol) -> (codec)]] [flags pure true]) ; has optional eness argument