search

opprop / immutability

The Practical Immutability for Classes and Objects (PICO) type system enforces transitive class and object immutability
Other
3 stars 5 forks source link

RDM and initialization spec discussion #47

Closed Ao-senXiong closed 2 months ago

Ao-senXiong commented 2 months ago

This commit https://github.com/opprop/immutability/pull/43/commits/f7398485405c874819a3ba9ad80f59a49d316264 skip a few test cases related to initialization checker and RDM. Will revisit and discuss.

Ao-senXiong commented 2 months ago

Closed as finished by #43