Understand where PICO should report error

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

Understand where PICO should report error #53

Open Ao-senXiong opened 1 month ago

Ao-senXiong commented 1 month ago

Currenly, PICO issue error at wrong location after spotless format.

wmdietl commented 1 month ago

Can you add an illustrative example? How does the code look before/after formatting?

Ao-senXiong commented 1 month ago

Maybe let's solve other problems first? Because spotless right now is not enabled in this project. I can not accurately recall what are the code examples. Just put a reminder here first.