git.iko.soy/servant
on master help sign in
Update doctest to be compatible with newer GHC
commit86c61c6dbdc82ffcab5803e15411f7fce82874b1 authorTeo Camarasu <teofilcamarasu@gmail.com> dateThu 27 Oct 2022, 13:03 (4 years ago) parent3f6886a
2 files changed+4−4
compare with master
unifiedsplit
servant/src/Servant/API/TypeLevel.hs+3−3 servant/src/Servant/Links.hs+1−1
servant/src/Servant/API/TypeLevel.hs+3−3
@@ -110,7 +110,7 @@ type family IsElem' a s :: Constraint
110110--
111111-- >>> ok (Proxy :: Proxy (IsElem ("bye" :> Get '[JSON] Int) SampleAPI))
112112-- ...
113−-- ... Could not deduce...
113+-- ... Could not ...
114114-- ...
115115--
116116-- An endpoint is considered within an api even if it is missing combinators
@@ -151,7 +151,7 @@ type family IsElem endpoint api :: Constraint where
151151--
152152-- >>> ok (Proxy :: Proxy (IsSubAPI (SampleAPI :<|> Get '[JSON] Int) SampleAPI))
153153-- ...
154−-- ... Could not deduce...
154+-- ... Could not ...
155155-- ...
156156--
157157-- This uses @IsElem@ for checking; thus the note there applies here.
@@ -174,7 +174,7 @@ type family AllIsElem xs api :: Constraint where
174174--
175175-- >>> ok (Proxy :: Proxy (IsIn (Get '[JSON] Int) (Header "h" Bool :> Get '[JSON] Int)))
176176-- ...
177−-- ... Could not deduce...
177+-- ... Could not ...
178178-- ...
179179type family IsIn (endpoint :: *) (api :: *) :: Constraint where
180180 IsIn e (sa :<|> sb) = Or (IsIn e sa) (IsIn e sb)
servant/src/Servant/Links.hs+1−1
@@ -92,7 +92,7 @@
9292-- >>> let bad_link = Proxy :: Proxy ("hello" :> Delete '[JSON] NoContent)
9393-- >>> safeLink api bad_link
9494-- ...
95−-- ...Could not deduce...
95+-- ...Could not ...
9696-- ...
9797--
9898-- This error is essentially saying that the type family couldn't find