Add Dhall multi-line string literals

This commit is contained in:
Alex Chapman 2019-10-30 10:22:23 +11:00
parent 80a4e66622
commit 9381277274

View File

@ -37,6 +37,9 @@ add-highlighter shared/dhall/string region '"' (?<!\\)(\\\\)*
add-highlighter shared/dhall/comment region -recurse \{- \{- -\} fill comment add-highlighter shared/dhall/comment region -recurse \{- \{- -\} fill comment
add-highlighter shared/dhall/line_comment region -- $ fill comment add-highlighter shared/dhall/line_comment region -- $ fill comment
# Matches multi-line string literals
add-highlighter shared/dhall/multiline_string region \Q''\E$ [^']''[^'] fill string
# Matches built-in types # Matches built-in types
add-highlighter shared/dhall/code/ regex \b(Location|Sort|Kind|Type|Text|Bool|Natural|Integer|Double|List|Optional)\b 0:type add-highlighter shared/dhall/code/ regex \b(Location|Sort|Kind|Type|Text|Bool|Natural|Integer|Double|List|Optional)\b 0:type