Code

GHC 9.*#1233

Code

Merged

RyanGlScott merged 16 commits intomasterGaloisInc/cryptol:masterfrom ghc9GaloisInc/cryptol:ghc9Copy head branch name to clipboardJan 25, 2022

+983-936

Commits

Commits on Jul 15, 2021

• First take at GHC 9.* compatibility.

  Show description for 889bfd6
  robdockins

  committed
  889bfd6

• Remove uses of bigNatSubUnsafe. This doesn't seem to make

  Show description for c69acab
  robdockins

  committed
  c69acab

Commits on Jan 12, 2022

• Merge branch 'master' into ghc9

  RyanGlScott

  committed
  644d33b

• Bump some upper version bounds for GHC 9.0

  RyanGlScott

  committed
  2e32fcd

• CI: Test GHC 9.0.2

  RyanGlScott

  committed
  38935c0

Commits on Jan 13, 2022

• CI: Drop GHC 8.6

  RyanGlScott

  committed
  7bdb84b

• Factor out compatibility shims into GHC.Num.Compat

  RyanGlScott

  committed
  1181076

• Regenerate cabal.GHC-*.config files

  RyanGlScott

  committed
  31ca666

• Only enable UnliftedNewtypes on GHC 9.0+

  RyanGlScott

  committed
  c6cd69d

• Avoid an -Woverlapping-patterns warning on GHC 9.0

  Show description for 2255e94
  RyanGlScott

  committed
  2255e94

• Ensure that there is at least one Windows build

  RyanGlScott

  committed
  7030088

• Use test-lib-0.4

  RyanGlScott

  committed
  cb1cf65

• Make integerRecipMod return a Maybe instead of an unboxed sum

  RyanGlScott

  committed
  3a204fc

Commits on Jan 14, 2022

• Make issue{066,093} resilient to different solvers' behavior

  Show description for 09aaf1d
  RyanGlScott

  committed
  09aaf1d

• CI: Update what4-solvers to use Z3 4.8.14

  Show description for 3b9eafb
  RyanGlScott

  committed
  3b9eafb

Commits on Jan 25, 2022

• Address review comments

  RyanGlScott

  committed
  3892615