Repository navigation

Expand scope of narrowing typecasts and fix issues - #117

Open

kjw142857 wants to merge 17 commits into

mainfrom

Open

Expand scope of narrowing typecasts and fix issues#117
kjw142857 wants to merge 17 commits into
mainfrom
type-casting

Commits on Oct 27, 2026
- Expand scope of narrowing typecasts and fix truncation
  kjw142857
  committed
  12c9881
Commits on Nov 3, 2026
- merge from main
  kjw142857
  committed
  9a02981
Commits on Nov 5, 2026
- Enforce checking of theoretically allowed typecasts at compile time
  kjw142857
  committed
  1cff491
- Allow simulataneous casting and unboxing
  kjw142857
  committed
  dcf4c8a
- Restrict operand types for binary operators
  kjw142857
  committed
  357c645
- Fix extra line printing bug
  kjw142857
  committed
  de481a2
- Fix printing of non-int primitive types
  kjw142857
  committed
  265f4c5
- Fix break statements inside a switch in a loop
  kjw142857
  committed
  a5f0cb3
- Make instantiation of abstract classes fail on compilation
  kjw142857
  committed
  193db69
- fix inherited methods and libraries'
  kjw142857
  committed
  83d72c2
Commits on Nov 10, 2026
- Add compiler check for typecasting of final classes
  kjw142857
  committed
  a44c7b9
- Disallow referencing of library interface types
  kjw142857
  committed
  bd8b130
- Revert bd8b130
  kjw142857
  committed
  c3b67af
- Add compiler checks for casting to/from interfaces
  kjw142857
  committed
  e29df6d
- Allow parsing of bare this keyword
  kjw142857
  committed
  3d726cf
- Enforce more rigourous checks for method overriding
  kjw142857
  committed
  48e65c0
- Add stricting rules for array casting
  kjw142857
  committed
  90b0061