base-4.20 (GHC 9.10) re-exports foldl' from the Prelude, which conflicts with the foldl' function defined in What4.Utils.Word16String. To avoid conflicts, we re-export What4.Utils.Word16String.foldl' using a qualified export, which avoids warnings in a backwards-compatible fashion.
We also fix a variety of -Wunused-imports warnings caused by the same change and add GHC 9.10.1 to CI.
base-4.20(GHC 9.10) re-exportsfoldl'from thePrelude, which conflicts with thefoldl'function defined inWhat4.Utils.Word16String. To avoid conflicts, we re-exportWhat4.Utils.Word16String.foldl'using a qualified export, which avoids warnings in a backwards-compatible fashion.We also fix a variety of
-Wunused-importswarnings caused by the same change and add GHC 9.10.1 to CI.Fixes https://github.com/GaloisInc/what4/issues/272.