Code

feat: compute highest common subtype#901

Code

Merged

lars-reimann merged 27 commits intomainSafe-DS/DSL:mainfrom highest-common-subtypeSafe-DS/DSL:highest-common-subtypeCopy head branch name to clipboardFeb 20, 2024

+1,145-92

Commits

Commits on Feb 20, 2024

• test: highestCommonSubtype gets called

  lars-reimann

  committed
  7923103

• fix: simplification of union types

  lars-reimann

  committed
  798edd8

• test: HCS for class type vs. type parameter type

  lars-reimann

  committed
  37332e9

• test: HCS for class type vs. literal type

  lars-reimann

  committed
  93339b2

• test: HCS for enum type vs enum type

  lars-reimann

  committed
  7a762da

• test: HCS for enum type vs enum variant type

  lars-reimann

  committed
  5e3f052

• test: HCS for literal type vs. literal type

  lars-reimann

  committed
  861ece0

• test: HCS for enum variant type vs. enum variant type

  lars-reimann

  committed
  4882a86

• test: additional tests involving nullability

  lars-reimann

  committed
  0a18b0c

• test: HCS for unknown type

  lars-reimann

  committed
  244ba05

• test: HCS for enum type vs. type parameter type

  lars-reimann

  committed
  fc6378c

• test: HCS for enum variant type vs. type parameter type

  lars-reimann

  committed
  50ec72d

• test: HCS for literal type vs. type parameter type

  lars-reimann

  committed
  31fc490

• test: HCS for type parameter type vs. type parameter type

  lars-reimann

  committed
  64c4833

• test: HCS for class type vs. enum type

  lars-reimann

  committed
  a6c9fb4

• test: HCS for class type vs. enum variant type

  lars-reimann

  committed
  b9b7d2f

• test: HCS for unhandled types

  lars-reimann

  committed
  d58b0d2

• test: HCS simplification

  lars-reimann

  committed
  55158e9

• test: HCS incompatible types

  lars-reimann

  committed
  1e3c16d

• test: HCS class type vs. class type (no type params)

  lars-reimann

  committed
  c3b1e73

• test: HCS class type vs. class type (with type params)

  lars-reimann

  committed
  5181f7f

• feat: compute HCS if one the listed types with updated nullability matches

  lars-reimann

  committed
  b25d62e

• feat: compute HCS for multiple literal types by intersecting them

  lars-reimann

  committed
  15d8ce2

• feat: more working tests

  lars-reimann

  committed
  a5594b3

• feat: get remaining tests working

  lars-reimann

  committed
  c6fccb7

• chore: remove logging

  lars-reimann

  committed
  3991aed

• test: ignore some safeguards for coverage

  lars-reimann

  committed
  c72bd90