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
Is that second / supposed to be there? I.e., is a text-literal really meant to be any of double-quote-literalorsingle-quote-literalorwhitespace? Given the weirdness of that, and the apparently needless parentheses, I'm not so sure this was intentional…
The text was updated successfully, but these errors were encountered:
Reading the Dhall grammar, the following line stood out to me
Is that second
/
supposed to be there? I.e., is atext-literal
really meant to be any ofdouble-quote-literal
orsingle-quote-literal
orwhitespace
? Given the weirdness of that, and the apparently needless parentheses, I'm not so sure this was intentional…The text was updated successfully, but these errors were encountered: