Branch: Tag:

2021-11-10

2021-11-10 00:44:24 by Tobias S. Josefowitz <tobij@tobij.de>

Compiler [Typechecker]: Empty string has unknown range

The empty string now has no/unknown range and is a typewise valid match
for all possible string ranges.

8432:      // typeof   test_eq(sprintf("%O", typeof(1)),"int(1)") - test_eq(sprintf("%O", typeof("")),"string(zero)") + test_eq(sprintf("%O", typeof("")),"string(zero:)")   ignore_warning("Indexing the empty string.", [[    test_aq([[ sprintf("%O", typeof(""[0])) ]], "zero")   ]])
8441:      // _typeof   test_eq(sprintf("%O", _typeof(1)),"int(1)") - test_eq(sprintf("%O", _typeof("")),"string(zero)") + test_eq(sprintf("%O", _typeof("")),"string(zero:)")   test_eq(sprintf("%O", _typeof("x"[0])),"int(120)")   test_eq(sprintf("%O", _typeof(0.0)),"float")   test_eq([[sscanf(sprintf("%Ox", _typeof(this_object))-" ",