Add comment about slightly incorrect error message
commit75cb9ac24604182a5fa917307d86e6843108f4c1
authorGaël Deest <gael.deest@tweag.io>
dateThu 18 Nov 2021, 13:50 (5 years ago)
parentaab7e0d
servant-server/src/Servant/Server/Internal.hs+4
@@ -859,6 +859,10 @@ type HasServerArrowTypeError a b =
859859 ':$$: 'ShowType b
860860
861861-- 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 ?
862866instance {-# OVERLAPPABLE #-} TypeError (NoInstanceForSub HasServer ty) => HasServer (ty :> sub) context
863867
864868instance {-# OVERLAPPABLE #-} TypeError (NoInstanceFor (HasServer api context)) => HasServer api context