Menu

#4924 is({}<{}) should return unknown

None
open
nobody
is (11)
5
3 days ago
3 days ago
No

is({}<{})currently returns false. It should return unknown (or throw an error) since < isn't defined on sets. Note that is([]<[]) => unknown.

You could imagine extending < so that it denotes subset (that's a separate debate), but it doesn't currently: is({}<{a}) returns unknown.

Discussion


Log in to post a comment.