>From f8d747143f1d29db290f32ff53b5fb47bc230cc9 Mon Sep 17 00:00:00 2001 From: Kooda Date: Fri, 4 May 2018 14:19:32 +0200 Subject: [PATCH 3/3] Fix a few typos and renames in types.db and add a forgotten export of srfi-4 --- srfi-4.scm | 1 + types.db | 6 +++--- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/srfi-4.scm b/srfi-4.scm index 98feee74..0db91b4e 100644 --- a/srfi-4.scm +++ b/srfi-4.scm @@ -70,6 +70,7 @@ EOF u64vector-length u64vector-ref u64vector-set! u64vector? list->f32vector list->f64vector list->s16vector list->s32vector list->s8vector list->u16vector list->u32vector list->u8vector + list->u64vector make-f32vector make-f64vector make-s16vector make-s32vector make-s64vector make-s8vector make-u16vector make-u32vector make-u64vector make-u8vector diff --git a/types.db b/types.db index 69f6209f..c7f9910b 100644 --- a/types.db +++ b/types.db @@ -682,6 +682,7 @@ (##sys#vector->list (forall (a) (#(procedure #:clean #:enforce) ##sys#vector->list ((vector-of a)) (list-of a)))) (scheme#list->vector (forall (a) (#(procedure #:clean #:enforce) scheme#list->vector ((list-of a)) (vector-of a)))) (##sys#list->vector (forall (a) (#(procedure #:clean #:enforce) ##sys#list->vector ((list-of a)) (vector-of a)))) +(scheme#vector-fill! (#(procedure #:enforce) scheme#vector-fill! (vector *) undefined)) (scheme#procedure? (#(procedure #:pure #:predicate procedure) scheme#procedure? (*) boolean)) @@ -869,7 +870,6 @@ (chicken.base#subvector (forall (a) (#(procedure #:clean #:enforce) chicken.base#subvector ((vector-of a) fixnum #!optional fixnum) (vector-of a)))) (chicken.base#vector-copy! (#(procedure #:enforce) chicken.base#vector-copy! (vector vector #!optional fixnum) undefined)) -(chicken.base#vector-fill! (#(procedure #:enforce) chicken.base#vector-fill! (vector *) undefined)) (chicken.base#vector-resize (forall (a b) (#(procedure #:clean #:enforce) chicken.base#vector-resize ((vector-of a) fixnum #!optional b) (vector-of (or a b))))) @@ -1071,7 +1071,7 @@ ((fixnum) (##core#inline "C_i_fixnum_length" #(1))) ((*) (##core#inline "C_i_integer_length" #(1)))) -(chicken-bitwise#arithmetic-shift +(chicken.bitwise#arithmetic-shift (#(procedure #:clean #:enforce #:foldable) chicken.bitwise#arithmetic-shift (integer fixnum) integer) ((* *) (##core#inline_allocate ("C_s_a_i_arithmetic_shift" 5) #(1) #(2)))) @@ -1743,7 +1743,6 @@ (((or pointer locative procedure port)) (let ((#(tmp) #(1))) '#t))) (chicken.memory#make-pointer-vector (#(procedure #:clean #:enforce) chicken.memory#make-pointer-vector (fixnum #!optional (or pointer false)) pointer-vector)) -(chicken.memory#make-record-instance (#(procedure #:clean) chicken.memory#make-record-instance (symbol #!rest) *)) (chicken.memory#pointer-vector (#(procedure #:clean #:enforce) chicken.memory#pointer-vector (#!rest pointer-vector) boolean)) (chicken.memory#pointer-vector? (#(procedure #:pure #:predicate pointer-vector) chicken.memory#pointer-vector? (*) boolean)) (chicken.memory#pointer-vector-ref (#(procedure #:clean #:enforce) chicken.memory#pointer-vector-ref (pointer-vector fixnum) (or pointer false))) @@ -1806,6 +1805,7 @@ (chicken.memory.representation#procedure-data (#(procedure #:clean #:enforce) chicken.memory.representation#procedure-data (procedure) *)) (chicken.memory.representation#record->vector (#(procedure #:clean) chicken.memory.representation#record->vector (*) vector)) +(chicken.memory.representation#make-record-instance (#(procedure #:clean) chicken.memory.representation#make-record-instance (symbol #!rest) *)) (chicken.memory.representation#record-instance? (#(procedure #:clean) chicken.memory.representation#record-instance? (* #!optional symbol) boolean) ((* symbol) (##sys#structure? #(1) #(2))) ((*) (let ((#(tmp) #(1))) -- 2.17.0