Better assignability semantics

MeAmAnUsername / pie

Pipelines for Interactive Environments

Apache License 2.0

0 stars 0 forks source link

Better assignability semantics #163

Open MeAmAnUsername opened 3 years ago

MeAmAnUsername commented 3 years ago

Currently, the assignability semantics completely follow the Java semantics. These are sometimes not completely in line with the way one would expect PIE semantics to work, for example in the case of nullability. It would make sense that NullableType(T) is not InvariantKind assignable to T. Todo: figure out if there are more cases where the Java semantics do not make sense.

MeAmAnUsername commented 3 years ago

The example is no longer the case. That is also not entirely correct, see #177.