eeva/servant
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Add comment about slightly incorrect error message

Browse source
This commit is contained in:
Gaël Deest 2021-11-18 13:50:21 +01:00
parent aab7e0d5dd
commit 75cb9ac246
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
servant-server/src/Servant/Server/Internal.hs
View file

@ -859,6 +859,10 @@ type HasServerArrowTypeError a b =
':$$: 'ShowType b ':$$: 'ShowType b
-- Erroring instances for 'HasServer' for unknown API combinators -- Erroring instances for 'HasServer' for unknown API combinators
-- XXX: This omits the @context@ parameter, e.g.:
--
-- "There is no instance for HasServer (Bool :> …)". Do we care ?
instance {-# OVERLAPPABLE #-} TypeError (NoInstanceForSub HasServer ty) => HasServer (ty :> sub) context instance {-# OVERLAPPABLE #-} TypeError (NoInstanceForSub HasServer ty) => HasServer (ty :> sub) context
instance {-# OVERLAPPABLE #-} TypeError (NoInstanceFor (HasServer api context)) => HasServer api context instance {-# OVERLAPPABLE #-} TypeError (NoInstanceFor (HasServer api context)) => HasServer api context