(Solved) Dhall lint --patch

#1

We have had complains from users of our CI that the dhall lint command does not show them what to do.

I am in a situation where some users push dhall files to our SCM but won’t bother about installing dhall or whatever.

When they push a dhall file to our CI (with PR) we would like to show them where the lint problem is and how to fix it in case the build is red.

Is this possible or easy to implement ?

#2

@PierreR: I believe this will display what you want:

$ diff <(dhall format < ./example.dhall) <(dhall lint < ./example.dhall)

That will show them the part of the code that they need to change without their code needing to be formatted.