Don't warn about necessary, expected type errors.

This commit is contained in:
Matthias Fischmann 2020-12-06 16:03:19 +01:00
parent a8f584f80b
commit 2f20c32704
No known key found for this signature in database
GPG key ID: 0DE4AA9C5446EBF4

View file

@ -1,5 +1,5 @@
{-# LANGUAGE DataKinds #-}
{-# OPTIONS_GHC -fdefer-type-errors -Wwarn #-}
{-# OPTIONS_GHC -fdefer-type-errors -Wwarn -Wno-deferred-type-errors #-}
module Servant.Server.Internal.ContextSpec (spec) where
import Data.Proxy