Disable ghc-typelits-extra #2766

This commit is contained in:
Adam Bergmark 2017-08-16 23:55:21 +02:00
parent 5700444551
commit 4ea5709f5f

View File

@ -1681,8 +1681,8 @@ packages:
"Christiaan Baaij <christiaan.baaij@gmail.com> @christiaanb":
- ghc-tcplugins-extra
- ghc-typelits-extra
# - ghc-typelits-knownnat
# - ghc-typelits-extra # Compilation failure https://github.com/fpco/stackage/pull/2766
# - ghc-typelits-knownnat # Compilation failure https://github.com/fpco/stackage/pull/2766
- ghc-typelits-natnormalise
# - clash-prelude # GHC 8.2.1
# - clash-lib # GHC 8.2.1