From a62fc0a046056a160d41084eb2c584d3da64fd7d Mon Sep 17 00:00:00 2001
From: Christiaan Baaij <christiaan.baaij@gmail.com>
Date: Thu, 17 Aug 2017 16:19:08 +0200
Subject: [PATCH] Re-enable ghc-typelits-knownnat

Version 0.3.1 has a testsuite that passes on ghc-8.2.1
---
 build-constraints.yaml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index e3d3f403..71ac9abd 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -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