Merge remote-tracking branch 'arachsys/scheme-infnan'

This commit is contained in:
Maxime Coste 2024-01-05 15:27:25 +11:00
commit 9716875ba9

View File

@ -162,7 +162,7 @@ evaluate-commands %sh{ exec awk -f - <<'EOF'
# unprefixed decimals # unprefixed decimals
add_highlighter("(?<![" normal_identifiers "])(\\d+(\\.\\d*)?|\\.\\d+)(?:[esfdlESFDL][-+]?\\d+)?(?![" normal_identifiers "])", "0:value"); add_highlighter("(?<![" normal_identifiers "])(\\d+(\\.\\d*)?|\\.\\d+)(?:[esfdlESFDL][-+]?\\d+)?(?![" normal_identifiers "])", "0:value");
# inf and nan # inf and nan
add_highlighter("(?<![" normal_identifiers "])[+-](?:inf|nan)\.0(?![" normal_identifiers "])", "0:value"); add_highlighter("(?<![" normal_identifiers "])[+-](?:inf|nan)\\.0(?![" normal_identifiers "])", "0:value");
} }
EOF EOF
} }