[gambit-list] port-name

Christian christian at pflanze.mine.nu
Tue Jul 11 18:15:00 EDT 2006


Hello

I've been looking for a way to get the file path of a file port, and
have found ##port-name. I would find it worthwhile to add an official
port-name function (and document it).

(Should I just send a patch for such requests in the future?)

Thanks
Christian.




More information about the Gambit-list mailing list