Mastodon Feed
ireneista@irenes.space ("Irenes (many)") wrote:
okay, now we have a facility that returns the name of whatever file is attached to the main input
(Evocation has a concept of "main" input which is separate from the POSIX stdin, wrapping around it, to allow things like "include" to work by pushing an input source atop the existing one and popping it off afterwards)