From 4ea5709f5fb61635b2887b61f36964aebcfdc5b6 Mon Sep 17 00:00:00 2001
From: Adam Bergmark <adam@bergmark.nl>
Date: Wed, 16 Aug 2017 23:55:21 +0200
Subject: [PATCH] Disable ghc-typelits-extra #2766

---
 build-constraints.yaml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index f7fa0520..75065b2a 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1681,8 +1681,8 @@ packages:
 
     "Christiaan Baaij <christiaan.baaij@gmail.com> @christiaanb":
         - ghc-tcplugins-extra
-        - ghc-typelits-extra
-        # - ghc-typelits-knownnat
+        # - 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-natnormalise
         # - clash-prelude # GHC 8.2.1
         # - clash-lib # GHC 8.2.1