[Bug modula2/120912] New: Request for a procedure to obtain a file from an IOChan

[gaius at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120912

            Bug ID: 120912
           Summary: Request for a procedure to obtain a file from an
                    IOChan
           Product: gcc
           Version: 16.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: modula2
          Assignee: gaius at gcc dot gnu.org
          Reporter: gaius at gcc dot gnu.org
  Target Milestone: ---

Forwarded from the mailing list:

There should be a procedure to get a FIO.File from IOChan.ChanId.