Open LuKuangChen opened 2 years ago
We want it to be possible to use types that are not known to SP at compile time in a CheckedDict, in which case we cannot know if they are hashable. So I think the best that we could do here is opportunistically emit a static error if a type which is known to be not-hashable is used as CheckedDict key, but we can't prevent this runtime TypeError in all cases.
What version of Static Python are you using?
9965302 2021-07-15
What program did you run?
What happened?
The program raises a runtime error.
What should have happened?
We expected a compile-time error complaining that
CheckedDict[B, int]
is unhashable. Maybe the type system can look for a__hash__
method.