dhall: recognize several missing builtins

- recognize builtin type `Bool`
- recognize import `... as Bytes`
- recognize builtin functions `Date/show`, `Time/show`, `TimeZone/show`
- recognize a bytes literal (ie. `0x"deadbeef"`)
This commit is contained in:
savanto 2025-03-29 17:30:28 -05:00 committed by Christian Clason
parent 86768fdd00
commit 9df671fda4

View file

@ -1,4 +1,3 @@
; Text
; Imports ; Imports
(missing_import) @keyword.import (missing_import) @keyword.import
@ -12,6 +11,7 @@
] @string.special ] @string.special
[ [
(import_as_bytes)
(import_as_location) (import_as_location)
(import_as_text) (import_as_text)
] @type ] @type
@ -92,6 +92,7 @@
(builtin (builtin
[ [
"Bool"
"Natural" "Natural"
"Natural/build" "Natural/build"
"Natural/fold" "Natural/fold"
@ -121,8 +122,11 @@
"Text/replace" "Text/replace"
"Optional" "Optional"
"Date" "Date"
"Date/show"
"Time" "Time"
"Time/show"
"TimeZone" "TimeZone"
"TimeZone/show"
"Type" "Type"
"Kind" "Kind"
"Sort" "Sort"
@ -164,7 +168,10 @@
] @keyword.conditional ] @keyword.conditional
; Literals ; Literals
(text_literal) @string [
(text_literal)
(bytes_literal)
] @string
(interpolation (interpolation
"}" @string) "}" @string)