git.iko.soy/typeable/servant
on master help sign in
Removed unnecessary OVERLAPPING/OVERLAPPABLE pragmas
commitb4372b5c148f6ff8d359295a86eecf397c306439 authorCatherine Galkina <anais94@yandex.ru> dateSun 8 Sep 2019, 15:04 (7 years ago) parent8550926
2 files changed+4−6
compare with master
unifiedsplit
servant-client-core/src/Servant/Client/Core/HasClient.hs+2−3 servant-server/src/Servant/Server/Internal.hs+2−3
servant-client-core/src/Servant/Client/Core/HasClient.hs+2−3
@@ -242,9 +242,8 @@ instance {-# OVERLAPPING #-}
242242
243243 hoistClientMonad _ _ f ma = f ma
244244
245−instance {-# OVERLAPPING #-}
246− ( RunClient m, ReflectMethod method
247− ) => HasClient m (NoContentVerb method) where
245+instance (RunClient m, ReflectMethod method) =>
246+ HasClient m (NoContentVerb method) where
248247 type Client m (NoContentVerb method)
249248 = m NoContent
250249 clientWithRoute _pm Proxy req = do
servant-server/src/Servant/Server/Internal.hs+2−3
@@ -298,9 +298,8 @@ instance {-# OVERLAPPING #-}
298298 where method = reflectMethod (Proxy :: Proxy method)
299299 status = toEnum . fromInteger $ natVal (Proxy :: Proxy status)
300300
301−instance {-# OVERLAPPABLE #-}
302− (ReflectMethod method
303− ) => HasServer (NoContentVerb method) context where
301+instance (ReflectMethod method) =>
302+ HasServer (NoContentVerb method) context where
304303
305304 type ServerT (NoContentVerb method) m = m NoContent
306305 hoistServerWithContext _ _ nt s = nt s