From 891a077311bf6950aeaaf63ef65cf6c1e849ec74 Mon Sep 17 00:00:00 2001
From: Nicolas BACQUEY <nicolas.bacquey@tweag.io>
Date: Thu, 17 Mar 2022 14:05:08 +0100
Subject: [PATCH] Ignore 'unticked promoted constructors' in TypeErrors

The file is small enough that using unticked constructors should not be
error-prone
---
 servant/src/Servant/API/TypeErrors.hs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/servant/src/Servant/API/TypeErrors.hs b/servant/src/Servant/API/TypeErrors.hs
index 81a0e7eb..e0c7080d 100644
--- a/servant/src/Servant/API/TypeErrors.hs
+++ b/servant/src/Servant/API/TypeErrors.hs
@@ -4,6 +4,8 @@
 {-# LANGUAGE TypeOperators        #-}
 {-# LANGUAGE UndecidableInstances #-}
 
+{-# OPTIONS_GHC -fno-warn-unticked-promoted-constructors #-}
+
 -- | This module defines the error messages used in type-level errors.
 -- Type-level errors can signal non-existing instances, for instance when
 -- a combinator is not applied to the correct number of arguments.