Add comment about slightly incorrect error message
commitd8e4b621b9c4095d7fc17ea7c6f266f8c8ddd6ef
authorGaël Deest <gael.deest@tweag.io>
dateThu 18 Nov 2021, 13:50 (5 years ago)
parent923598f
servant-server/src/Servant/Server/Internal.hs+4
@@ -857,6 +857,10 @@ type HasServerArrowTypeError a b =
857857 ':$$: 'ShowType b
858858
859859-- Erroring instances for 'HasServer' for unknown API combinators
860+
861+-- XXX: This omits the @context@ parameter, e.g.:
862+--
863+-- "There is no instance for HasServer (Bool :> …)". Do we care ?
860864instance {-# OVERLAPPABLE #-} TypeError (NoInstanceForSub HasServer ty) => HasServer (ty :> sub) context
861865
862866instance {-# OVERLAPPABLE #-} TypeError (NoInstanceFor (HasServer api context)) => HasServer api context