Disable ghc-typelits-knownnat #2766

This commit is contained in:
Adam Bergmark 2017-08-16 23:39:23 +02:00
parent 4c1d50ea03
commit 57a8270acc

View File

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