TypeNats errors on ghc 9.4

[danwdart]

src/Servant/Links.hs:650:10: error:
    • There is no instance for HasLink (arr :> ...)
      arr expects 1
                  GHC.TypeNats.+ Servant.API.TypeErrors.Arity' b more arguments
    • In the ambiguity check for an instance declaration
      In the instance declaration for ‘HasLink ((arr :: a -> b) :> sub)’
    |
650 | instance TypeError (PartialApplication HasLink arr) => HasLink ((arr :: a -> b) :> sub)
    |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Servant/Links.hs:656:31: error:
    • There is no instance for HasLink (ty :> ...)
    • In the ambiguity check for an instance declaration
      In the instance declaration for ‘HasLink (ty :> sub)’
    |
656 | instance {-# OVERLAPPABLE #-} TypeError (NoInstanceForSub HasLink ty) => HasLink (ty :> sub)

happened when I relaxed version constraints.

Does anyone know what to do about that, or know anything about that?

Thanks

[danwdart]

Think it could actually have already been fixed by https://github.com/haskell-servant/servant/pull/1592 so testing that out.

[ysangkok]

@danwdart I think this can be closed?

[tchoutri]

Please re-open if it needs to be reopened.

[danwdart]

I saw the branch had been merged, so yes, that makes sense to me