git.iko.soy/typeable/servant
on master help sign in
Add comment about slightly incorrect error message
75cb9acGaël Deest
servant-server/src/Servant/Server/Internal.hs+4
compare with master
unifiedsplit
@@ -859,6 +859,10 @@ type HasServerArrowTypeError a b =
859 ':$$: 'ShowType b
859 ':$$: 'ShowType b
860
860
861-- Erroring instances for 'HasServer' for unknown API combinators
861-- Erroring instances for 'HasServer' for unknown API combinators
862+
863+-- XXX: This omits the @context@ parameter, e.g.:
864+--
865+-- "There is no instance for HasServer (Bool :> …)". Do we care ?
862instance {-# OVERLAPPABLE #-} TypeError (NoInstanceForSub HasServer ty) => HasServer (ty :> sub) context
866instance {-# OVERLAPPABLE #-} TypeError (NoInstanceForSub HasServer ty) => HasServer (ty :> sub) context
863
867
864instance {-# OVERLAPPABLE #-} TypeError (NoInstanceFor (HasServer api context)) => HasServer api context
868instance {-# OVERLAPPABLE #-} TypeError (NoInstanceFor (HasServer api context)) => HasServer api context