Closed zzantares closed 3 months ago
Hmmm, if this formatter can automatically delete code comments, I am not sure we should enable it by default...
Is it supposed to be nondestructive and this is a bug? Or is it illegal to put comments in the place where there is one in your example?
good catch, it seems this is a bug that has been reported upstream: https://github.com/dhall-lang/dhall-lang/issues/1275.
OK, we can add support for the formatter, but not enable it by default, since it has this destructive behavior.
Adds a new formatter
dhall-format
used for dhall.