~ chicken-core (chicken-5) 294574e3f997e9506e742aaafd0e01a027bfcf8a

commit 294574e3f997e9506e742aaafd0e01a027bfcf8a
Author:     felix <felix@call-with-current-continuation.org>
AuthorDate: Fri Nov 3 13:59:14 2017 +0100
Commit:     felix <felix@call-with-current-continuation.org>
CommitDate: Fri Nov 3 13:59:14 2017 +0100

    updated types.db for new random numbers API

diff --git a/types.db b/types.db
index 321e8ef9..79e1fd2f 100644
--- a/types.db
+++ b/types.db
@@ -1571,8 +1571,9 @@
 
 ;; random
 
-(chicken.random#random (#(procedure #:clean #:enforce) chicken.random#random (fixnum) fixnum))
-(chicken.random#randomize (#(procedure #:clean #:enforce) chicken.random#randomize (#!optional fixnum) undefined))
+(chicken.random#pseudo-random-integer (#(procedure #:clean #:enforce) chicken.random#pseudo-random-integer (integer) integer))
+(chicken.random#set-pseudo-random-seed! (#(procedure #:clean #:enforce) chicken.random#set-pseudo-random-seed! (* #!optional fixnum) undefined))
+(chicken.random#random-bytes (#(procedure #:clean #:enforce) chicken.random#random-bytes (#!optional * fixnum) *))
 
 ;; file