Revert "ghc-typelits-extra < 0.2 (clash-lang/clash-prelude#66)"
This reverts commit 46f1b377f05d882f42986bbf4f56c1e6ed0ed025.
commit15b255734bedf25904cbba794537ff48d91bc8d9
authorJens Petersen <juhpetersen@gmail.com>
dateSun 21 Aug 2016, 22:09 (10 years ago)
parent6f5e503
build-constraints.yaml+1−2
@@ -1350,8 +1350,7 @@ packages:
13501350
13511351 "Christiaan Baaij <christiaan.baaij@gmail.com> @christiaanb":
13521352 - ghc-tcplugins-extra
1353− # https://github.com/clash-lang/clash-prelude/issues/66
1354− - ghc-typelits-extra < 0.2
1353+ - ghc-typelits-extra
13551354 - ghc-typelits-knownnat
13561355 - ghc-typelits-natnormalise
13571356 - clash-prelude