Type-level errors for HasLink for invalid combinators

This commit is contained in:
Andrea Condoluci 2020-04-10 17:07:45 +02:00 committed by Théophile Choutri
parent 6392dce4bf
commit a22bf7ae19
1 changed files with 0 additions and 1 deletions

View File

@ -648,7 +648,6 @@ simpleToLink _ toA _ = toLink toA (Proxy :: Proxy sub)
-- $setup
-- >>> import Servant.API
-- >>> import Data.Text (Text)
-- Erroring instance for 'HasLink' when a combinator is not fully applied
instance TypeError (PartialApplication
#if __GLASGOW_HASKELL__ >= 904