You can usually get the file name for a port using `object-name`. The guarantees on `object-name` are weak, but it may work well enough for your purposes.
At Sat, 4 May 2019 10:40:18 -0700 (PDT), Tommi Höynälänmaa wrote: > Is it possible to obtain the filename from a port or exn:fail:filesystem > object? > > - Tommi Höynälänmaa > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
