-
Notifications
You must be signed in to change notification settings - Fork 220
Closed
Labels
Description
#2169 was great and allows one to pass multiple files at once to e.g. dhall freeze. However, currently no information about which file fails is output to the user, making it very difficult to track down the problem if many files are passed.
For example:
echo 0 > a.dhall
echo 0f > b.dhall
dhall freeze a.dhall b.dhall
dhall:
Error: Invalid input
(input):1:2:
|
1 | 0f
| ^
unexpected 'f'
expecting "→", "∧", "⩓", "⫽", ->, //, //\\, /\, :, end of input, keyword, operator, or whitespaceIf instead the error were output as:
dhall:
Error: Invalid input
(./b.dhall):1:2:
|
1 | 0f
| ^
unexpected 'f'
expecting "→", "∧", "⩓", "⫽", ->, //, //\\, /\, :, end of input, keyword, operator, or whitespaceor something instead of just (input) it would be much more clear.
This also occurs with e.g. dhall lint
As such, I've been unable to use the new multi-file commands in my CI and am stuck doing something like:
for n; do echo "$n"; dhall lint --check "$n" || exit 1; donewhich of course still works but it would be great to use the new option to process multiple files at once, since it's currently a pain to track down what the issue is if you're linting 500 files at once. 😄