Code

GHC 9.8 Support#27

Code

Merged

konn merged 13 commits intomasterkonn/ghc-typelits-presburger:masterfrom konn/ghc-9.8konn/ghc-typelits-presburger:konn/ghc-9.8Copy head branch name to clipboardDec 26, 2023

+1,799-9,276

Commits

Commits on Dec 26, 2023

• First try for GHC 9.8

  konn

  committed
  e62a773

• Update index

  konn

  committed
  5c6c741

• 9.8: constraints

  konn

  committed
  6776389

• fix

  konn

  committed
  862043d

• Cache dependency first

  konn

  committed
  1f4f7ea

• ci: cont

  konn

  committed
  748fb08

• Bumps cabal version

  konn

  committed
  a6429ee

• dev: drops version constraints

  konn

  committed
  9911907

• GHC 9.8 workaround?

  konn

  committed
  db73d80

• getTcLocM

  konn

  committed
  75ad8fd

• Drops compat works for <9

  konn

  committed
  c9a1893

• ci: drops the package itself

  konn

  committed
  a379705

• Version bumped

  konn

  committed
  2c24b06