From 86c61c6dbdc82ffcab5803e15411f7fce82874b1 Mon Sep 17 00:00:00 2001 From: Teo Camarasu Date: Thu, 27 Oct 2022 13:03:50 +0100 Subject: [PATCH] Update doctest to be compatible with newer GHC --- servant/src/Servant/API/TypeLevel.hs | 6 +++--- servant/src/Servant/Links.hs | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/servant/src/Servant/API/TypeLevel.hs b/servant/src/Servant/API/TypeLevel.hs index 4a5e3c3b..3a368907 100644 --- a/servant/src/Servant/API/TypeLevel.hs +++ b/servant/src/Servant/API/TypeLevel.hs @@ -110,7 +110,7 @@ type family IsElem' a s :: Constraint -- -- >>> ok (Proxy :: Proxy (IsElem ("bye" :> Get '[JSON] Int) SampleAPI)) -- ... --- ... Could not deduce... +-- ... Could not ... -- ... -- -- An endpoint is considered within an api even if it is missing combinators @@ -151,7 +151,7 @@ type family IsElem endpoint api :: Constraint where -- -- >>> ok (Proxy :: Proxy (IsSubAPI (SampleAPI :<|> Get '[JSON] Int) SampleAPI)) -- ... --- ... Could not deduce... +-- ... Could not ... -- ... -- -- This uses @IsElem@ for checking; thus the note there applies here. @@ -174,7 +174,7 @@ type family AllIsElem xs api :: Constraint where -- -- >>> ok (Proxy :: Proxy (IsIn (Get '[JSON] Int) (Header "h" Bool :> Get '[JSON] Int))) -- ... --- ... Could not deduce... +-- ... Could not ... -- ... type family IsIn (endpoint :: *) (api :: *) :: Constraint where IsIn e (sa :<|> sb) = Or (IsIn e sa) (IsIn e sb) diff --git a/servant/src/Servant/Links.hs b/servant/src/Servant/Links.hs index 44e9987f..74314e0a 100644 --- a/servant/src/Servant/Links.hs +++ b/servant/src/Servant/Links.hs @@ -92,7 +92,7 @@ -- >>> let bad_link = Proxy :: Proxy ("hello" :> Delete '[JSON] NoContent) -- >>> safeLink api bad_link -- ... --- ...Could not deduce... +-- ...Could not ... -- ... -- -- This error is essentially saying that the type family couldn't find