~ chicken-core (master) cb895929b9e1752ffebe4495e2dee3db1bfdbafe


commit cb895929b9e1752ffebe4495e2dee3db1bfdbafe
Author:     Felix Winkelmann <felix.winkelmann@bevuta.com>
AuthorDate: Sat Sep 19 00:15:22 2026 +0200
Commit:     Felix Winkelmann <felix.winkelmann@bevuta.com>
CommitDate: Sat Sep 19 00:15:22 2026 +0200

    u8vector is a synonym for bytevector now (and not a struct type)

diff --git a/scrutinizer.scm b/scrutinizer.scm
index dafe184e..ba3fcbf5 100644
--- a/scrutinizer.scm
+++ b/scrutinizer.scm
@@ -89,7 +89,7 @@
 ;        | (deprecated NAME)
 ;   VALUE = string | symbol | keyword | char | number |
 ;           boolean | true | false |
-;           null | eof | bwp | bytevector |  pointer | port | locative | fixnum |
+;           null | eof | bwp | bytevector | u8vector | pointer | port | locative | fixnum |
 ;           float | bignum | ratnum | cplxnum | integer | pointer-vector
 ;   BASIC = * | list | pair | procedure | vector | undefined | noreturn | values
 ;   COMPLEX = (pair TYPE TYPE)
@@ -135,14 +135,14 @@
 
 (define-constant value-types
   '(string symbol keyword char null boolean true false bytevector eof bwp
-    fixnum float number integer bignum ratnum cplxnum
+    fixnum float number integer bignum ratnum cplxnum u8vector
     pointer-vector port pointer locative))
 
 (define-constant basic-types
   '(* list pair procedure vector undefined deprecated noreturn values))
 
 (define-constant struct-types
-  '(u8vector s8vector u16vector s16vector u32vector s32vector u64vector
+  '(s8vector u16vector s16vector u32vector s32vector u64vector
     s64vector f32vector f64vector c64vector c128vector thread queue environment time
     continuation lock mmap condition hash-table tcp-listener))
 
@@ -1826,7 +1826,7 @@
   ;; - coalesces all "forall" forms into one (remove "forall" if typevar-set is empty)
   ;; - renames type-variables
   ;; - replaces type-abbreviations
-  ;; - replaces "blob" by "bytevector" for backwards compatibility
+  ;; - replaces "blob" and "u8vector" by "bytevector" for backwards compatibility
   (let ((ptype #f)			; (T . PT) | #f
 	(clean #f)
 	(typevars '())
@@ -1867,6 +1867,7 @@
 	    ((eq? t 'immediate) '(or eof null fixnum char boolean))
 	    ((eq? t 'any) '*)
             ((eq? t 'blob) 'bytevector) ; DEPRECATED
+            ((eq? t 'u8vector) 'bytevector)
             ((eq? t 'void) 'undefined)
 	    ((eq? t 'input-port) '(refine (input) port))
 	    ((eq? t 'output-port) '(refine (output) port))
Trap