io: show a string as a port name

2018-11-10 15:17:46 -07:00 · 2018-11-10 15:17:46 -07:00 · 7fa31684e9
commit 7fa31684e9
parent d0fab4027b
1 changed files with 2 additions and 0 deletions
--- 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