Code

feat: improvements to constraints#896

Code

Merged

lars-reimann merged 15 commits intomainSafe-DS/DSL:mainfrom no-lower-boundSafe-DS/DSL:no-lower-boundCopy head branch name to clipboardFeb 19, 2024

+668-1,654

Commits

Commits on Feb 19, 2024

• feat: update grammar

  lars-reimann

  committed
  0c06832

• feat: update lexers

  lars-reimann

  committed
  a04efab

• test: fix build errors

  lars-reimann

  committed
  2523517

• test: update grammar tests

  lars-reimann

  committed
  9a8e839

• test: update formatter tests

  lars-reimann

  committed
  e6d5df8

• test: update tests for the semantic token provider

  lars-reimann

  committed
  bc3d92d

• test: update validation tests

  lars-reimann

  committed
  ca83e95

• feat: scoping for parameter bounds

  lars-reimann

  committed
  a4f0b7d

• feat: show "insufficient context" error only on name of type parameter

  lars-reimann

  committed
  9fc259f

• test: fix syntax errors in scoping tests

  lars-reimann

  committed
  e8acc7c

• feat: update scope provider

  lars-reimann

  committed
  f1552d2

• test: update tests for isSubtypeOf and isSupertypeOf

  lars-reimann

  committed
  3105b1c

• test: update tests for computeUpperBound

  lars-reimann

  committed
  2e9f45f

• refactor: remove the cycle check when computing the upper bound

  Show description for d854d0b
  lars-reimann

  committed
  d854d0b

• test: update type computer tests

  lars-reimann

  committed
  eea3c31