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

[Typecheck] Assignablilty modifier conflict on primitive type #61

Open Ao-senXiong opened 1 month ago

Ao-senXiong commented 1 month ago

for primitive variable decleration,

final `@Assignable` int a;

PICO should issue error just like it did for reference type.

Ao-senXiong commented 1 month ago

It will fixed by this commit. #0c22e6