Code

Cyclic type definitions#33

Code

Merged

JohannesMeierSE merged 19 commits intomainTypeFox/typir:mainfrom jm/cyclic-type-definitionTypeFox/typir:jm/cyclic-type-definitionCopy head branch name to clipboardNov 27, 2024

+2,313-649

Commits

Commits on Nov 12, 2024

• first working version of type definitions in "wrong" order for classes #22, refactorings, improved identifiers (WIP)

  JohannesMeierSE

  committed
  a2bb2ee

  Copy full SHA for a2bb2ee

• listener for new inference rules, fixed several bugs

  JohannesMeierSE

  committed
  bf1eb78

  Copy full SHA for bf1eb78

Commits on Nov 18, 2024

• fixed important bug

  JohannesMeierSE

  committed
  36708f0

  Copy full SHA for 36708f0

• refactorings, improved comments

  JohannesMeierSE

  committed
  c1f02ec

  Copy full SHA for c1f02ec

Commits on Nov 19, 2024

• validation (instead of exception) for super-sub-class cycles

  JohannesMeierSE

  committed
  0c933fa

  Copy full SHA for 0c933fa

• propagate cyclic types to the direct children

  JohannesMeierSE

  committed
  ddda324

  Copy full SHA for ddda324

• propagate types to ignore recursively to indirect dependencies as well

  JohannesMeierSE

  committed
  6c29f57

  Copy full SHA for 6c29f57

• added more expected error messages into existing test cases

  JohannesMeierSE

  committed
  40bea25

  Copy full SHA for 40bea25

Commits on Nov 20, 2024

• simplified code, improved comments, more test cases, renamings, some more little refactorings

  JohannesMeierSE

  committed
  d4b1cde

  Copy full SHA for d4b1cde

• fixed registration of inference rules of classes, new deconstruct logic for types, simplified TypeReference, reworked listeners, improved test cases, more comments

  JohannesMeierSE

  committed
  005c37f

  Copy full SHA for 005c37f

• more test cases for cyclic classes

  JohannesMeierSE

  committed
  072de08

  Copy full SHA for 072de08

Commits on Nov 21, 2024

• small improvements for the lifecycle of types, renamings

  JohannesMeierSE

  committed
  704d81c

  Copy full SHA for 704d81c

• realized cyclic types with Functions involved, slightly reworked the TypeInitializer

  JohannesMeierSE

  committed
  a07614b

  Copy full SHA for a07614b

Commits on Nov 22, 2024

• fix for unique method validation, more test cases

  JohannesMeierSE

  committed
  14b21d5

  Copy full SHA for 14b21d5

• more comments, renamings

  JohannesMeierSE

  committed
  db66fba

  Copy full SHA for db66fba

Commits on Nov 26, 2024

• refactorings, more test cases and comments according to the review

  JohannesMeierSE

  committed
  9f1b703

  Copy full SHA for 9f1b703

Commits on Nov 27, 2024

• added name as identifier for nominally typed classes earlier, refactoring

  JohannesMeierSE

  committed
  2a6c18f

  Copy full SHA for 2a6c18f

• improved existing test cases

  JohannesMeierSE

  committed
  3b471e2

  Copy full SHA for 3b471e2

• renaming, refactoring, more comments

  JohannesMeierSE

  committed
  bc43521

  Copy full SHA for bc43521