From 1b1f188482ed771efb24d2d7d2e582d9c63cdcd6 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 05eca0c06..6a8690ba7 100644 --- a/servant-server/src/Servant/Server/TypeErrors.hs +++ b/servant-server/src/Servant/Server/TypeErrors.hs @@ -97,3 +97,10 @@ 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