Can't build master (Expected kind ‘k0 -> k0 -> k1’, but ‘(:~~:)’ has kind ‘*’)
Trying to build the master
branch using commit 34d75688 yields the following error:
"inplace/bin/ghc-stage1" -hisuf hi -osuf o -hcsuf hc -static -O0 -H64m -Wall -this-unit-id base-4.15.0.0 -hide-all-packages -i -ilibraries/base/. -ilibraries/base/dist-install/build -Ilibraries/base/dist-install/build -ilibraries/base/dist-install/build/./autogen -Ilibraries/base/dist-install/build/./autogen -Ilibraries/base/include -Ilibraries/base/dist-install/build/include -optP-include -optPlibraries/base/dist-install/build/./autogen/cabal_macros.h -package-id ghc-bignum-1.0 -package-id ghc-prim-0.7.0 -package-id rts -this-unit-id base -Wcompat -Wnoncanonical-monad-instances -XHaskell2010 -O -no-user-package-db -rtsopts -Wno-trustworthy-safe -Wno-deprecated-flags -Wnoncanonical-monad-instances -outputdir libraries/base/dist-install/build -dynamic-too -c libraries/base/./Data/Type/Equality.hs -o libraries/base/dist-install/build/Data/Type/Equality.o -dyno libraries/base/dist-install/build/Data/Type/Equality.dyn_o
libraries/base/Data/Type/Equality.hs:125:13: error:
• Expected kind ‘k0 -> k0 -> k1’, but ‘(:~~:)’ has kind ‘*’
• In the type ‘a :~~: a’
In the definition of data constructor ‘HRefl’
In the data declaration for ‘:~~:’
|
125 | HRefl :: a :~~: a
| ^^^^^^^^