Code

update to GHC 9.2.8#2230

Code

Merged

nikivazou merged 16 commits intoucsd-progsys:developucsd-progsys/liquidhaskell:developfrom clayrat:9.2.8clayrat/liquidhaskell:9.2.8Copy head branch name to clipboardOct 31, 2023

+48-42

Commits

Commits on Jul 28, 2023

• update to GHC 9.2.7

  clayrat

  committed
  66bbb34

• fix CoreBind link in readme

  clayrat

  committed
  a128e88

• bump version for CI and install doc

  clayrat

  committed
  6b43c17

• bump stack resolver

  clayrat

  committed
  14b2522

• try lts-20.23

  clayrat

  committed
  5b614c9

Commits on Aug 1, 2023

• bump versions of liquid libraries

  clayrat

  committed
  12c9dc7

Commits on Aug 2, 2023

• regenerate stack,yaml.lock

  clayrat

  committed
  16a3bd5

• try dropping GHC.Types prefix

  clayrat

  committed
  9dabb3d

Commits on Aug 7, 2023

• Merge remote-tracking branch 'upstream/develop' into 9.2.7

  clayrat

  committed
  f2e3116

• restore GHC.Types prefixes

  clayrat

  committed
  43333d6

Commits on Aug 10, 2023

• formatting

  clayrat

  committed
  05c5381

• update CHANGES

  clayrat

  committed
  8d929d5

Commits on Oct 17, 2023

• bump to 9.2.8

  clayrat

  committed
  bc08df5

Commits on Oct 31, 2023

• Merge branch 'develop' into 9.2.8

  clayrat

  authored
  ea4645b

• update stack.yaml.lock

  clayrat

  committed
  74ca0e8

• fix file link

  clayrat

  committed
  9503149