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
Currently, errors in the generated script are reported with the line number in the generated script. It would be nice to report them with the line number in the user's input instead.
Edit Looks like this should do it (# line nnnn "filename.foo" inserted at the right places)
The text was updated successfully, but these errors were encountered:
- By default, add `#line` directives to the generated script so that
errors will be reported somewhere near the input file/line number.
Closesinterpreters#14.
- New option `--Elines` to suppress that, so that you can look at the
`-E` output and find exactly where the error is.
- Bumped version number to 0.4.0.
Currently, errors in the generated script are reported with the line number in the generated script. It would be nice to report them with the line number in the user's input instead.
Edit Looks like this should do it (
# line nnnn "filename.foo"
inserted at the right places)The text was updated successfully, but these errors were encountered: