dhall-mode icon indicating copy to clipboard operation
dhall-mode copied to clipboard

Highlighting issue

Open reactormonk opened this issue 7 years ago • 4 comments

The code

''
"''${FOO}"
bar
''

Isn't getting highlighted properly. The bar should still be inside the string.

reactormonk avatar Oct 12 '18 17:10 reactormonk

Really? The tutorial says:

These "double single quote strings" ignore all special characters, with one exception: if you want to include a '' in the string, you will need to escape it with a preceding ' (i.e. use ''' to insert '' into the final string).

This indicates that your example code should use '''${FOO}.

purcell avatar Oct 12 '18 23:10 purcell

(Not saying that that case would be handled properly either, but still...)

purcell avatar Oct 12 '18 23:10 purcell

The tutorial also says:

If you need to insert a "${" into a string without interpolation then use "''${" (same as Nix)

''
    for file in *; do
      echo "Found ''${file}"
    done
''

reactormonk avatar Oct 13 '18 06:10 reactormonk

Cool, okay. I think this requires some work on the syntax fontification functions.

purcell avatar Oct 13 '18 10:10 purcell