Browse source

Changelog

Query
From:
To:
Branch:
Path:
Message:
BugID:
User: +
Format:
: 1 checkin (+282/-96) by Henrik Grubbström (Grubba) <grubba@grubba.org> Lines added/removed recently

Monday 14 March 2022

2022-03-14 12:28:23 (9 months ago) by Henrik Grubbström (Grubba) <grubba@grubba.org>

Compiler [Typechecker]: Improved behavior for {index,key}_type().

They no longer upgrade __unknown__ results to mixed.

key_type() now handles __unknown__, T_AND and T_NOT properly.

key_type() now returns the declared index type for T_ARRAY
and T_STRING.

Added some documentation.

[permalink]

Bugs? Suggestions?