Code

Update to GHC 9.4#49

Code

Merged

josefs merged 24 commits intofacebookincubator:mainfacebookincubator/retrie:mainfrom MercuryTechnologies:mercury/ghc94MercuryTechnologies/retrie:mercury/ghc94Copy head branch name to clipboardNov 11, 2022

+245-29

Commits

Commits on Nov 2, 2022

• Bump base, ghc, ghc-exactprint bounds

  9999years

  committed
  0a60f03

• Replace mappend with <>

  9999years

  committed
  9dcb139

• Update to new GHC API

  9999years

  committed
  3f76d5e

• Expose a new disheartening set of compile errors

  9999years

  committed
  07c2d63

• fix many GHC 9.4 build errors in PatternMap.Instances

  wavewave

  committed
  ad6d071

• solved RFMap problem

  wavewave

  committed
  485ed2c

• success in RecordCon case.

  wavewave

  committed
  cc45b8d

• RecordUpd case

  wavewave

  committed
  afbafce

Commits on Nov 3, 2022

• fix mkLet

  wavewave

  committed
  04949b1

• fix mkParen' for ghc 9.4

  wavewave

  committed
  e597bab

• Retrie.Expr is now buildable.

  wavewave

  committed
  3c792c8

• Rewrites.Function, Rewrites.Patterns

  wavewave

  committed
  733d280

• Retrie.CPP

  wavewave

  committed
  602cbef

• build success!

  wavewave

  committed
  cc8f9b2

• fix parentheses bug.

  wavewave

  committed
  31acebd

• further paren fix

  wavewave

  committed
  6be1b2c

• fixed record pattern problem. the cases were dropped by accident.

  wavewave

  committed
  aa0000c

• ghc 9.2.4 build/test success!

  wavewave

  committed
  42a49f2

• replace MIN_VERSION_ghc with __GLASGOW_HASKELL__ to follow this repo style.

  wavewave

  committed
  e941aa8

• make conditional compilation smaller in PatternMap.Instances.

  wavewave

  committed
  415e5e6

Commits on Nov 9, 2022

• revert accidental typo.

  wavewave

  committed
  3e5a3ba

• ghc 9.2.1 -> 9.2.4, and add ghc 9.4.2 in CI

  wavewave

  committed
  e4371da

• update haskell/actions/setup to v2.0.1, ghc 9.4.2 -> 9.4.1 as supported

  wavewave

  committed
  1e21960

Commits on Nov 10, 2022

• add a note on UndecidableInstances

  wavewave

  committed
  12223a5