racket: upgrade to 8.0 (#6480)

frameworks/Racket/racket/app.rkt

@@ -5,6 +5,7 @@
          racket/fasl
          racket/port
          racket/serialize
+         racket/unix-socket-tcp-unit
          redis
          threading
          web-server/dispatch
@@ -213,8 +214,7 @@
            racket/format
            web-server/http/response
            web-server/safety-limits
-           web-server/web-server
-           "unix-socket-tcp-unit.rkt")
+           web-server/web-server)
 
   (define port
     (command-line
@@ -230,7 +230,7 @@
      #:dispatch app
      #:listen-ip "127.0.0.1"
      #:port port
-     #:tcp@ (make-unix-socket-tcp@ port (format "~a.sock" port))
+     #:tcp@ (make-unix-socket-tcp@ (format "~a.sock" port))
      #:confirmation-channel ch
      #:safety-limits (make-safety-limits
                       #:max-waiting 4096

frameworks/Racket/racket/racket.dockerfile

@@ -11,7 +11,7 @@ RUN echo 'APT::Get::Install-Recommends "false";' > /etc/apt/apt.conf.d/00-genera
 
 FROM debian AS racket
 
-ARG RACKET_VERSION=7.8
+ARG RACKET_VERSION=8.0
 
 RUN apt-get update -q \
     && apt-get install --no-install-recommends -q -y \

frameworks/Racket/racket/unix-socket-tcp-unit.rkt

@@ -1,55 +0,0 @@
-#lang racket/base
-
-(require net/tcp-sig
-         racket/unit
-         racket/unix-socket)
-
-(provide
- make-unix-socket-tcp@)
-
-(define (make-unix-socket-tcp@ port path)
-  (unit
-    (import)
-    (export tcp^)
-
-    (define (tcp-abandon-port p)
-      (void))
-
-    (define (tcp-accept l)
-      (unix-socket-accept l))
-
-    (define (tcp-accept/enable-break l)
-      (parameterize-break #t
-        (unix-socket-accept l)))
-
-    (define (tcp-accept-ready? _l)
-      #t)
-
-    (define (tcp-addresses _p [port-numbers? #f])
-      (if port-numbers?
-          (values "127.0.0.1" port "127.0.0.1" 0)
-          (values "127.0.0.1" "127.0.0.1")))
-
-    (define (tcp-close l)
-      (unix-socket-close-listener l))
-
-    (define (tcp-connect _hostname
-                         _port-no
-                         [_local-hostname #f]
-                         [_local-port-no #f])
-      (error 'tcp-connect "not supported"))
-
-    (define (tcp-connect/enable-break _hostname
-                                      _port-no
-                                      [_local-hostname #f]
-                                      [_local-port-no #f])
-      (error 'tcp-connect/enable-break "not supported"))
-
-    (define (tcp-listen _port-no
-                        [backlog 4]
-                        [_reuse? #f]
-                        [_hostname #f])
-      (unix-socket-listen path backlog))
-
-    (define (tcp-listener? l)
-      (unix-socket-listener? l))))