From 63a6443c2607f056be8401f69725f8574a87c663 Mon Sep 17 00:00:00 2001 From: Gustavo Massaccesi Date: Mon, 15 Jan 2018 14:08:56 -0300 Subject: [PATCH] fix a few signatures primdata.ss original commit: 903e017f2611f7e2c3817667afefee7a0ebfae35 --- LOG | 2 ++ s/primdata.ss | 8 ++++---- 2 files changed, 6 insertions(+), 4 deletions(-) diff --git a/LOG b/LOG index 477a911001..fd606fd585 100644 --- a/LOG +++ b/LOG @@ -788,3 +788,5 @@ - fix bounds checking with an immediate index on immutable vectors, fxvectors, strings, and bytevectors cpnanopass.ss, 5_5.ms, 5_6.ms, bytevector.ms +- fix a few signatures + primdata.ss diff --git a/s/primdata.ss b/s/primdata.ss index 7dd04e73b5..349ad75b14 100644 --- a/s/primdata.ss +++ b/s/primdata.ss @@ -329,7 +329,7 @@ (vector [sig [(ptr ...) -> (vector)]] [flags unrestricted alloc ieee r5rs cp02]) (vector-length [sig [(vector) -> (length)]] [flags pure true ieee r5rs mifoldable discard]) (vector-ref [sig [(vector sub-index) -> (ptr)]] [flags ieee r5rs mifoldable discard cp02]) - (vector-set! [sig [(vector sub-index ptr) -> (ptr)]] [flags true ieee r5rs]) + (vector-set! [sig [(vector sub-index ptr) -> (void)]] [flags true ieee r5rs]) (vector->list [sig [(vector) -> (list)]] [flags alloc ieee r5rs]) (list->vector [sig [(list) -> (vector)]] [flags alloc ieee r5rs]) (vector-fill! [sig [(vector ptr) -> (void)]] [flags true ieee r5rs]) @@ -839,9 +839,9 @@ (define-symbol-flags* ([libraries (chezscheme csv7)] [flags primitive proc]) ; csv7 compatibility ((csv7: record-field-accessible?) [sig [(rtd sub-ptr) -> (boolean)]] [flags pure mifoldable discard cp02]) - ((csv7: record-field-accessor) [sig [(rtd sub-ptr) -> (boolean)]] [flags pure alloc cp02]) + ((csv7: record-field-accessor) [sig [(rtd sub-ptr) -> (procedure)]] [flags pure alloc cp02]) ((csv7: record-field-mutable?) [sig [(rtd sub-ptr) -> (boolean)]] [flags pure mifoldable discard cp02]) - ((csv7: record-field-mutator) [sig [(rtd sub-ptr) -> (boolean)]] [flags pure alloc cp02]) + ((csv7: record-field-mutator) [sig [(rtd sub-ptr) -> (procedure)]] [flags pure alloc cp02]) ((csv7: record-type-descriptor) [sig [(record) -> (rtd)]] [flags pure mifoldable discard true cp02]) ((csv7: record-type-field-decls) [sig [(rtd) -> (list)]] [flags pure mifoldable discard true cp02]) ((csv7: record-type-field-names) [sig [(rtd) -> (list)]] [flags pure mifoldable discard true cp02]) @@ -1520,7 +1520,7 @@ (put-string-some [sig [(textual-output-port string) (textual-output-port string length) (textual-output-port string length length) -> (uint)]] [flags true]) (putprop [sig [(symbol ptr ptr) -> (void)]] [flags true]) (putenv [sig [(string string) -> (void)]] [flags true]) - (profile-query-weight [sig [(ptr) -> (maybe-flonum)]] [flags discard true]) + (profile-query-weight [sig [(ptr) -> (maybe-flonum)]] [flags unrestricted discard]) (random [sig [(sub-number) -> (number)]] [flags alloc]) (ratnum? [sig [(ptr) -> (boolean)]] [flags pure unrestricted mifoldable discard]) (read-token [sig [() (textual-input-port) (textual-input-port sfd) -> (symbol ptr maybe-uint maybe-uint)]] [flags])