Merge pull request #2773 from christiaanb/patch-7

Re-enable ghc-typelits-knownnat
This commit is contained in:
Adam Bergmark 2017-08-17 18:26:34 +02:00 committed by GitHub
commit 951e95554b

View File

@ -1682,8 +1682,8 @@ packages:
"Christiaan Baaij <christiaan.baaij@gmail.com> @christiaanb":
- ghc-tcplugins-extra
# - 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-extra
- ghc-typelits-knownnat
- ghc-typelits-natnormalise
# - clash-prelude # GHC 8.2.1
# - clash-lib # GHC 8.2.1