Code

feat: intermediate type computer#600

Code

Merged

lars-reimann merged 34 commits intomainSafe-DS/DSL:mainfrom type-computerSafe-DS/DSL:type-computerCopy head branch name to clipboardOct 5, 2023

+1,924-913

Commits

Commits on Oct 4, 2023

• feat: compute type of parenthesized expressions

  lars-reimann

  committed
  e9a6168

• feat: compute type of attributes, classes, enums, enum variants

  lars-reimann

  committed
  66d011a

• feat: compute type of arguments

  lars-reimann

  committed
  1927b79

• feat: compute type of results

  lars-reimann

  committed
  ca4178c

• feat: compute type of operations (except ?:)

  lars-reimann

  committed
  98fcc98

• feat: finish type model (except literal types)

  lars-reimann

  committed
  0d4af2b

• feat: compute type of named types

  lars-reimann

  committed
  3370042

• feat: compute type of member types

  lars-reimann

  committed
  ec5d306

• feat: compute type of union types

  lars-reimann

  committed
  2c28647

• feat: compute type of callable types

  lars-reimann

  committed
  0f95e16

• feat: compute type of functions

  lars-reimann

  committed
  bfb4d1b

• feat: compute type of segments

  lars-reimann

  committed
  acdbc05

• test: callable type/function/segment with missing manifest types

  lars-reimann

  committed
  da1ff4b

• feat: compute type of references

  lars-reimann

  committed
  0371fe6

• feat: compute type of member accesses

  lars-reimann

  committed
  35d986c

• feat: compute type of annotations and pipelines

  Show description for 87752dd
  lars-reimann

  committed
  87752dd

• feat: compute type of indexed access

  lars-reimann

  committed
  f7d7dd5

• feat: compute type of parameters with manifest types

  lars-reimann

  committed
  7d1fccb

• feat: compute types of lambda parameters (except when types are not manifest and lambdas are passed as arguments)

  lars-reimann

  committed
  eec01fb

• test: types of lambdas

  lars-reimann

  committed
  d1a51fe

• feat: typing of lambdas

  lars-reimann

  committed
  1b252a1

• test: type computing for assignees

  lars-reimann

  committed
  436d976

• test: type computing for calls

  lars-reimann

  committed
  545a480

• chore: remove ported old tests (used for reference only)

  lars-reimann

  committed
  a669a68

• test: fix wrong tests

  lars-reimann

  committed
  f37fe84

• test: add another test case

  lars-reimann

  committed
  fb3b5e4

• fix: wrong cardinality in grammar

  lars-reimann

  committed
  b1517ce

Commits on Oct 5, 2023

• feat: add a class to represent named types themselves rather than instances of them

  lars-reimann

  committed
  7ec1f93

• fix: correctly compute type of references to classes/enums/enum variants

  lars-reimann

  committed
  1416657

• feat: compute type of calls

  lars-reimann

  committed
  c80cf9c

• feat: compute type of assignees

  lars-reimann

  committed
  06a3245

• test: skip remaining failing tests

  Show description for 7073a2d
  lars-reimann

  committed
  7073a2d

• refactor: remove unused declaration

  lars-reimann

  committed
  e02f861

• test: ignore some lines for coverage

  lars-reimann

  committed
  650c002