dhall-mode
                                
                                 dhall-mode copied to clipboard
                                
                                    dhall-mode copied to clipboard
                            
                            
                            
                        Highlighting issue
The code
''
"''${FOO}"
bar
''
Isn't getting highlighted properly. The bar should still be inside the string.
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}.
(Not saying that that case would be handled properly either, but still...)
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
''
Cool, okay. I think this requires some work on the syntax fontification functions.