From 7fa31684e9296b4f3230920f9bb6ab27024fe1da Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Sat, 10 Nov 2018 15:17:46 -0700
Subject: [PATCH] io: show a string as a port name

---
 racket/src/io/print/named.rkt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/racket/src/io/print/named.rkt b/racket/src/io/print/named.rkt
index 803734d14e..2247431be7 100644
--- a/racket/src/io/print/named.rkt
+++ b/racket/src/io/print/named.rkt
@@ -17,6 +17,8 @@
              (symbol->print-string name #:for-type? #t)]
             [(path? name) ; especially for input & output ports
              (path->string name)]
+            [(string? name)
+             name]
             [else #f])])
     (cond
       [name-str