Skip to content

Instantly share code, notes, and snippets.

@dminuoso
Created June 27, 2023 11:45
Show Gist options
  • Save dminuoso/c9ce4e6c2af81b77e9b7f6536c87e6ce to your computer and use it in GitHub Desktop.
Save dminuoso/c9ce4e6c2af81b77e9b7f6536c87e6ce to your computer and use it in GitHub Desktop.
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