From f6241638e1c5f779dbafa994003a6c91b0f4b05c Mon Sep 17 00:00:00 2001 From: felix Date: Thu, 28 Feb 2019 14:03:27 +0100 Subject: [PATCH] correct entry in types.db for `system*'. Found by megane. --- types.db | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/types.db b/types.db index c443d94e..fcf9d9b0 100644 --- a/types.db +++ b/types.db @@ -2066,7 +2066,7 @@ (chicken.process#process-spawn (#(procedure #:clean #:enforce) chicken.process#process-spawn (fixnum string #!optional (list-of string) (list-of (pair string string)) boolean) fixnum)) (chicken.process#system (#(procedure #:clean #:enforce) chicken.process#system (string) fixnum)) -(chicken.process#system* (#(procedure #:clean #:enforce) chicken.process#system* (string #!rest) undefined)) +(chicken.process#system* (#(procedure #:clean #:enforce) chicken.process#system* (string) undefined)) (chicken.process#process (#(procedure #:clean #:enforce) chicken.process#process (string #!optional (list-of string) (list-of (pair string string)) boolean) input-port output-port fixnum)) (chicken.process#process* (#(procedure #:clean #:enforce) chicken.process#process* (string #!optional (list-of string) (list-of (pair string string)) boolean) input-port output-port fixnum *)) (chicken.process#process-wait (#(procedure #:clean #:enforce) chicken.process#process-wait (#!optional fixnum *) fixnum fixnum fixnum)) -- 2.16.2