Skip to content

Core Lint warnings in horde-ad with GHC 9.6RC1

Numerous core lint warnings are emitted when compiling

   cabal build -j1 --enable-optimization --allow-newer --ghc-options="-dcore-lint -dstg-lint -dcmm-lint -dtag-inference-checks"

with GHC 9.6RC1 (but GHC 9.4.4 emits similar) on branch master, commit https://github.com/Mikolaj/horde-ad/commit/a6ceaeb00e99cc0b65c01e607aeb2d49c66f064e

All the warnings are recorded in https://paste.tomsmeding.com/9PSN7LbN

All tests run fine with the options above. No warnings from -Wmissed-specialisations.

Edited by Ben Gamari
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information