From 8825fec840b215f748d86f7eee81fe2a18d9e81c Mon Sep 17 00:00:00 2001 From: Nicolas BACQUEY Date: Mon, 21 Mar 2022 12:32:59 +0100 Subject: [PATCH] Fix doctests --- servant-server/src/Servant/Server/TypeErrors.hs | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/servant-server/src/Servant/Server/TypeErrors.hs b/servant-server/src/Servant/Server/TypeErrors.hs index ca470d3ef..cb3eb852b 100644 --- a/servant-server/src/Servant/Server/TypeErrors.hs +++ b/servant-server/src/Servant/Server/TypeErrors.hs @@ -80,3 +80,10 @@ type HasServerArrowTypeError a b = instance {-# OVERLAPPABLE #-} TypeError (NoInstanceForSub HasServer ty) => HasServer (ty :> sub) context instance {-# OVERLAPPABLE #-} TypeError (NoInstanceFor (HasServer api context)) => HasServer api context + +-- $setup +-- >>> :set -XDataKinds +-- >>> :set -XTypeOperators +-- >>> import Data.Typeable +-- >>> import Servant.API +-- >>> import Servant.Server