Ignore 'unticked promoted constructors' in TypeErrors

The file is small enough that using unticked constructors should not be
error-prone
This commit is contained in:
Nicolas BACQUEY 2022-03-17 14:05:08 +01:00
parent 8f081bd9ad
commit 891a077311
No known key found for this signature in database
GPG Key ID: 518D364D061C12AC
1 changed files with 2 additions and 0 deletions

View File

@ -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.