From c0d0e57257fe8dee1f9d37a6d49b6322af985a69 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Fri, 11 Nov 2016 17:29:11 -0400 Subject: Clean up build warnings about redundant constraints when built with ghc 8.0. Only a couple of the constraints were really redundant. The rest are essential to propellor's tracking of Info propigation, so I silenced the warning for those. It would be better to only silence the warning for the functions with the extra constraints, but IIRC warnings can only be silenced on an entire file basis. This commit was sponsored by Andreas on Patreon. --- src/Propellor/Container.hs | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/Propellor/Container.hs') diff --git a/src/Propellor/Container.hs b/src/Propellor/Container.hs index c4d6f864..5c365f59 100644 --- a/src/Propellor/Container.hs +++ b/src/Propellor/Container.hs @@ -1,4 +1,5 @@ {-# LANGUAGE DataKinds, TypeFamilies #-} +{-# OPTIONS_GHC -fno-warn-redundant-constraints #-} module Propellor.Container where @@ -43,6 +44,9 @@ propagateContainer :: -- Since the children being added probably have info, -- require the Property's metatypes to have info. + -- -Wredundant-constraints is turned off because + -- this constraint appears redundant, but is actually + -- crucial. ( IncludesInfo metatypes ~ 'True , IsContainer c ) -- cgit v1.3-2-g0d8e