I recently saw a tweet about JSON comments.
The tl;dr is that comments were used as a kind of out of band communication to give directives to software that consume JSON and thus were removed.
What is the current status in Dhall? Comments are removed in the normalized form but are comments available to the implementations for implementing custom extensions? Or is this behavior explicitly forbidden?
I had a look at the Semantics document but I couldn’t find anything comment related, should we explicitly state that they must not have any effect on the expression processing?