Browse source

Changelog

Query
From:
To:
Branch:
Path:
Message:
BugID:
User: +
Format:
: 2 checkins (+114/-54) by Tobias S. Josefowitz <tobij@tobij.de> Lines added/removed recently

Wednesday 10 November 2021

2021-11-10 01:44:24 (1 year ago) 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.

[permalink]

Bugs? Suggestions?