Created
June 27, 2023 11:45
-
-
Save dminuoso/c9ce4e6c2af81b77e9b7f6536c87e6ce to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
odin-mod/Odin/API.hs:106:9: error: | |
• Couldn't match representation of type: ghc-prim-0.7.0:GHC.Prim.State# | |
ghc-prim-0.7.0:GHC.Prim.RealWorld | |
-> (# ghc-prim-0.7.0:GHC.Prim.State# | |
ghc-prim-0.7.0:GHC.Prim.RealWorld, | |
Either ServerError a #) | |
with that of: Handler a | |
arising from a use of ‘coerce’ | |
The data constructor ‘Servant.Server.Internal.Handler.Handler’ | |
of newtype ‘Handler’ is not in scope | |
• In the expression: coerce | |
In an equation for ‘f’: f = coerce | |
In an equation for ‘toHandler’: | |
toHandler logger | |
= f . mkHandler . catchRemEx | |
where | |
f :: _ | |
f = coerce | |
mkHandler :: | |
AppM (Either ServerError a) -> IO (Either ServerError a) | |
mkHandler (AppM h) = runLoggingT h logger | |
• Relevant bindings include | |
f :: IO (Either ServerError a) -> Handler a | |
(bound at odin-mod/Odin/API.hs:106:5) | |
toHandler :: Logger -> AppM a -> Handler a | |
(bound at odin-mod/Odin/API.hs:103:1) | |
| | |
106 | f = coerce | |
| ^^ |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment