Code

feat: various checks for calls#638

Code

Merged

lars-reimann merged 11 commits intomainSafe-DS/DSL:mainfrom call-checkerSafe-DS/DSL:call-checkerCopy head branch name to clipboardOct 12, 2023

+491-150

Commits

Commits on Oct 12, 2023

• refactor: regroup builtin annotations into files

  lars-reimann

  committed
  a22df75

• fix: type computation for references to enum variants without parameters

  lars-reimann

  committed
  e55a1b6

• refactor: store parameters and results in CallableType

  lars-reimann

  committed
  b1bb69d

• fix: failing tests

  lars-reimann

  committed
  e313a6f

• fix: incorrect error that placeholder does not get a value

  lars-reimann

  committed
  6f31468

• Merge branch 'main' into call-checker

  lars-reimann

  committed
  2eb7705

• feat: warning if results are ignored implicitly

  lars-reimann

  committed
  d575a8e

• feat: error if call receiver is not callable

  lars-reimann

  committed
  128b98d

• feat: error if call receiver is class without constructor

  lars-reimann

  committed
  23d960f

• style: fix linter errors

  lars-reimann

  committed
  86c8ec6

• style: apply automated linter fixes

  megalinter-bot

  committed
  eb45e34