From 4d1bb656bb4e61032fba42d2e3a300931651c0b2 Mon Sep 17 00:00:00 2001
From: Christiaan Baaij <christiaan.baaij@gmail.com>
Date: Wed, 16 Aug 2017 11:57:33 +0200
Subject: [PATCH] Re-enable christiaanb's ghc-typelits-* packages

They all successfully build on GHC 8.2.1
---
 build-constraints.yaml | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 1588bc52..cc6cc38a 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1681,11 +1681,10 @@ packages:
         - tasty-hspec
 
     "Christiaan Baaij <christiaan.baaij@gmail.com> @christiaanb":
-        []
-        # - ghc-tcplugins-extra # GHC 8.2.1
-        # - ghc-typelits-extra # GHC 8.2.1
-        # - ghc-typelits-knownnat # GHC 8.2.1
-        # - ghc-typelits-natnormalise # GHC 8.2.1
+        - ghc-tcplugins-extra
+        - ghc-typelits-extra
+        - ghc-typelits-knownnat
+        - ghc-typelits-natnormalise
         # - clash-prelude # GHC 8.2.1
         # - clash-lib # GHC 8.2.1
         # - clash-vhdl # GHC 8.2.1