From b76050d670274a1b6487cecb96f1e8bdf53af84e Mon Sep 17 00:00:00 2001 From: Edwin Brady Date: Sun, 25 Jul 2021 14:03:54 +0100 Subject: [PATCH] Remove __collect_safe This is to make the bootstrap build with earlier versions of Chez - we don't strictly need it because we don't use threads (yet) and some linux distros only have Chez 9.5. --- bootstrap/idris2_app/idris2.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bootstrap/idris2_app/idris2.ss b/bootstrap/idris2_app/idris2.ss index 442c0fb16..2e740ff15 100755 --- a/bootstrap/idris2_app/idris2.ss +++ b/bootstrap/idris2_app/idris2.ss @@ -576,7 +576,7 @@ (define NetworkC-45FFI-prim__idrnet_sockaddr_family (lambda (farg-0 farg-1) ((foreign-procedure "idrnet_sockaddr_family" (void*) int) farg-0))) (define NetworkC-45FFI-prim__idrnet_create_sockaddr (lambda (farg-0) ((foreign-procedure "idrnet_create_sockaddr" () void*) ))) (define NetworkC-45FFI-prim__idrnet_bind (lambda (farg-0 farg-1 farg-2 farg-3 farg-4 farg-5) ((foreign-procedure "idrnet_bind" (int int int string int) int) farg-0 farg-1 farg-2 farg-3 farg-4))) -(define NetworkC-45FFI-prim__idrnet_accept (lambda (farg-0 farg-1 farg-2) ((foreign-procedure __collect_safe "idrnet_accept" (int void*) int) farg-0 farg-1))) +(define NetworkC-45FFI-prim__idrnet_accept (lambda (farg-0 farg-1 farg-2) ((foreign-procedure "idrnet_accept" (int void*) int) farg-0 farg-1))) (define u--prim__add_Integer (lambda (arg-0 arg-1) (+ arg-0 arg-1))) (define u--prim__sub_Integer (lambda (arg-0 arg-1) (- arg-0 arg-1))) (define u--prim__mul_Integer (lambda (arg-0 arg-1) (* arg-0 arg-1)))