From e32b28c7c4f5f2c9b29ca21d0bf7e5e45041eaa1 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 05eca0c0..6a8690ba 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