haskus-utils-types build failures.

On GHC-8.2.2 and older:

Configuring library for haskus-utils-types-1.5..
Preprocessing library for haskus-utils-types-1.5..
Building library for haskus-utils-types-1.5..
[1 of 9] Compiling Haskus.Utils.Types.Bool ( src/lib/Haskus/Utils/Types/Bool.hs, /tmp/matrix-worker/1576926666/dist-newstyle/build/x86_64-linux/ghc-8.2.2/haskus-utils-types-1.5/build/Haskus/Utils/Types/Bool.o )
[2 of 9] Compiling Haskus.Utils.Types.Constraint ( src/lib/Haskus/Utils/Types/Constraint.hs, /tmp/matrix-worker/1576926666/dist-newstyle/build/x86_64-linux/ghc-8.2.2/haskus-utils-types-1.5/build/Haskus/Utils/Types/Constraint.o )
[3 of 9] Compiling Haskus.Utils.Types.Error ( src/lib/Haskus/Utils/Types/Error.hs, /tmp/matrix-worker/1576926666/dist-newstyle/build/x86_64-linux/ghc-8.2.2/haskus-utils-types-1.5/build/Haskus/Utils/Types/Error.o )
[4 of 9] Compiling Haskus.Utils.Types.Nat ( src/lib/Haskus/Utils/Types/Nat.hs, /tmp/matrix-worker/1576926666/dist-newstyle/build/x86_64-linux/ghc-8.2.2/haskus-utils-types-1.5/build/Haskus/Utils/Types/Nat.o )

src/lib/Haskus/Utils/Types/Nat.hs:111:40: error:
    Not in scope: type constructor or class ‘Log2’
    |
111 |    NatBitCount n = NatBitCount' (n+1) (Log2 (n+1))
    |

and GHC-8.10.1 (which is soon to be released):

src/lib/Haskus/Utils/Types/List.hs:312:1: error:
    • Illegal result type variable (r :: k) for ‘Index'’
        Enable TypeFamilyDependencies to allow result variable names
    • In the type family declaration for ‘Index'’
    |
312 | type family Index' (n :: Nat) (l :: [k]) (l2 :: [k]) = (r :: k) where
    | ^^

Packages that are uploaded to Hackage are generally expected to follow the Package Versioning Policy and have version bounds on all dependencies indicating which versions they are known to build with. Here are some links that have more information:

https://hackage.haskell.org/upload#versioning_and_curation https://pvp.haskell.org/

haskus / packages

haskus-utils-types build failures. #30