We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 75db4a5 + 22d5790 commit 7a770b5Copy full SHA for 7a770b5
servant/src/Servant/Links.hs
@@ -649,7 +649,7 @@ simpleToLink _ toA _ = toLink toA (Proxy :: Proxy sub)
649
-- Erroring instance for 'HasLink' when a combinator is not fully applied
650
instance TypeError (PartialApplication HasLink arr) => HasLink ((arr :: a -> b) :> sub)
651
where
652
- type MkLink (arr :> sub) _ = TypeError (PartialApplication HasLink arr)
+ type MkLink (arr :> sub) _ = TypeError (PartialApplication (HasLink :: * -> Constraint) arr)
653
toLink = error "unreachable"
654
655
-- Erroring instances for 'HasLink' for unknown API combinators
0 commit comments