Code

Updated to latest rascal dependencies#2

Code

Merged

jurgenvinju merged 6 commits intocwi-swat:maincwi-swat/drambiguity:mainfrom SWAT-engineering:chore/update-rascal-dependenciesSWAT-engineering/drambiguity:chore/update-rascal-dependenciesCopy head branch name to clipboardOct 22, 2024

+8-10

Commits

Commits on Aug 30, 2024

• Using latest rascal and rascal-core typechecker

  DavyLandman

  committed
  d6aceda

• Using latest rascal and rascal-core typechecker

  DavyLandman

  committed
  5f618d8

Commits on Sep 27, 2024

• Fixed error spotted by type checker (discussed with @jurgenvinju)

  PaulKlint

  committed
  286ff48

Commits on Oct 17, 2024

• Using latest rascal and rascal-core

  DavyLandman

  committed
  859fde8

Commits on Oct 22, 2024

• Merge branch 'main' into chore/update-rascal-dependencies

  jurgenvinju

  committed
  1f4e6e1

• errorsAsWarnings off

  jurgenvinju

  committed
  e48e606