Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update effect-handlers to GHC 9.4.x #2

Open
wants to merge 2 commits into
base: master
Choose a base branch
from

Conversation

ezrakilty
Copy link

I'm interested in using effect-handlers for a project, and I found it doesn't work with my somewhat-recent GHC.

In this initial version, I haven't completely updated it. I still get some errors which look like

TopLevel.hs:17:10: error: Not in scope: type variable ‘a’
   |
17 | [handler|
   |          ^...

and

TopLevel.hs:24:12: error:
    The Name ‘handler_ah9P’ is not in scope.
    Suggested fix:
      If you bound a unique Template Haskell name (NameU)
      perhaps via newName,
      then -ddump-splices might be useful.
   |
24 | [operation|forall a.Io :: IO a -> a|]
   |            ^^^^^^^^^^^^^^^^^^^^^^^^^^

and

TopLevel.hs:24:12: error: Not in scope: type variable ‘a’
   |
24 | [operation|forall a.Io :: IO a -> a|]
   |            ^^^^^^^^^^^^^^^^^^^^^^^^^^

Which seem a little perplexing because I believe a to be in scope through a forall binder, including when I use -ddump-splices to show the expanded code. But I have little context for the implementation to work with, so I'm hoping someone closer to the implementation can help me finish this.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant