When piping to vera run /dev/stdin, the program fails with 'No exported functions to call' even for trivial programs like { 42 }. The same program works from a file. Likely the prelude injection or codegen re-reads the file path, and /dev/stdin is not seekable so the second read gets empty content.
When piping to vera run /dev/stdin, the program fails with 'No exported functions to call' even for trivial programs like { 42 }. The same program works from a file. Likely the prelude injection or codegen re-reads the file path, and /dev/stdin is not seekable so the second read gets empty content.