Advertisement
Guest User

Type Missmatch

a guest
Jul 21st, 2022
53
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.61 KB | None | 0 0
  1. [12 of 12] Compiling Server.Servant ( server/Server/Servant.hs, interpreted )
  2.  
  3. server/Server/Servant.hs:76:14: error:
  4. • Overlapping instances for HasServer
  5. (Servant.Auth.Server.Internal.AddSetCookie.AddSetCookieApi
  6. (Servant.Auth.Server.Internal.AddSetCookie.AddSetCookieApi
  7. (NamedRoutes InfoAPI)))
  8. '[JWTSettings]
  9. arising from a use of ‘genericServeTWithContext’
  10. Matching instances:
  11. instance [overlappable] forall k (api :: k) (context :: [*]).
  12. (TypeError ...) =>
  13. HasServer api context
  14. -- Defined in ‘Servant.Server.Internal’
  15. ...plus 33 instances involving out-of-scope types
  16. (use -fprint-potential-instances to see them all)
  17. (The choice depends on the instantiation of ‘’
  18. To pick the first instance above, use IncoherentInstances
  19. when compiling the other instance declarations)
  20. • In the second argument of ‘($)’, namely
  21. ‘genericServeTWithContext trn srv ctx’
  22. In a stmt of a 'do' block:
  23. run 8088 $ genericServeTWithContext trn srv ctx
  24. In the second argument of ‘($)’, namely
  25. ‘do let trn = flip runReaderT Env
  26. srv = srvr
  27. ....
  28. run 8088 $ genericServeTWithContext trn srv ctx’
  29. |
  30. 76 | run 8088 $ genericServeTWithContext trn srv ctx
  31. | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  32. Failed, 11 modules loaded.
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement