You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Description
It's impossible to translate stdin files with naga-cli and specify the output file. It looks like the switch for parsing the --stdin-file-path argument is only invoked if the first file argument is Some: args.files.first(). However, this means that it's actually impossible to have naga translate a file from stdin.
Description
It's impossible to translate stdin files with naga-cli and specify the output file. It looks like the switch for parsing the
--stdin-file-path
argument is only invoked if the first file argument is Some:args.files.first()
. However, this means that it's actually impossible to have naga translate a file from stdin.Repro steps
Expected vs observed behavior
Using
stdin-file-path
should not cause naga to treat the first file name in the argument list as an input file.The text was updated successfully, but these errors were encountered: