on master help sign in
Merge pull request #2773 from christiaanb/patch-7

Re-enable ghc-typelits-knownnat

commit951e95554b1c6293a85324f0e446fa9a7200311e authorAdam Bergmark <adam@bergmark.nl> dateThu 17 Aug 2017, 18:26 (9 years ago) parentb78f3fea62fc0a
1 file changed+2−2
build-constraints.yaml+2−2
build-constraints.yaml+2−2
@@ -1682,8 +1682,8 @@ packages:
16821682
16831683 "Christiaan Baaij <christiaan.baaij@gmail.com> @christiaanb":
16841684 - ghc-tcplugins-extra
1685− # - ghc-typelits-extra # Compilation failure https://github.com/fpco/stackage/pull/2766
1686− # - ghc-typelits-knownnat # Compilation failure https://github.com/fpco/stackage/pull/2766
1685+ - ghc-typelits-extra
1686+ - ghc-typelits-knownnat
16871687 - ghc-typelits-natnormalise
16881688 # - clash-prelude # GHC 8.2.1
16891689 # - clash-lib # GHC 8.2.1