Skip to content

Can't build master (Couldn't match kind ‘t’ with ‘'GHC.Types.Matchable’)

Trying to build the master branch using commit dba3bc01 yields the following error:

"inplace/bin/ghc-stage1" -hisuf hi -osuf  o -hcsuf hc -static  -O0 -H64m -Wall      -this-unit-id template-haskell-2.17.0.0 -hide-all-packages -i -ilibraries/template-haskell/. -ilibraries/template-haskell/dist-install/build -Ilibraries/template-haskell/dist-install/build -ilibraries/template-haskell/dist-install/build/./autogen -Ilibraries/template-haskell/dist-install/build/./autogen -Ilibraries/template-haskell/.    -optP-include -optPlibraries/template-haskell/dist-install/build/./autogen/cabal_macros.h -package-id base-4.15.0.0 -package-id ghc-boot-th-8.11.0.20200909 -package-id ghc-prim-0.7.0 -package-id pretty-1.1.3.6 -Wall -this-unit-id template-haskell -XHaskell2010 -XNoImplicitPrelude -O  -no-user-package-db -rtsopts  -Wno-deprecated-flags     -Wnoncanonical-monad-instances  -outputdir libraries/template-haskell/dist-install/build  -dynamic-too -c libraries/template-haskell/./Language/Haskell/TH/Lib/Internal.hs -o libraries/template-haskell/dist-install/build/Language/Haskell/TH/Lib/Internal.o -dyno libraries/template-haskell/dist-install/build/Language/Haskell/TH/Lib/Internal.dyn_o

libraries/template-haskell/Language/Haskell/TH/Lib/Internal.hs:44:14: error:
    • Couldn't match kind ‘t’ with ‘'GHC.Types.Matchable’
      Expected kind ‘TYPE r -> *’,
        but ‘Code Q :: (TYPE r -> Kind.Type)’ has kind ‘TYPE r -> *’
    • In the type ‘Code Q :: (TYPE r -> Kind.Type)’
      In the type declaration for ‘CodeQ’
   |
44 | type CodeQ = Code Q :: (TYPE r -> Kind.Type)
   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^