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

Compatibility with GHC 9.6 #2

Open
re-xyr opened this issue Jan 26, 2023 · 0 comments
Open

Compatibility with GHC 9.6 #2

re-xyr opened this issue Jan 26, 2023 · 0 comments

Comments

@re-xyr
Copy link

re-xyr commented Jan 26, 2023

Currently the version of prompt# and control0# used in eff do not receive PromptTag#s, and so doesn't compile with GHC 9.6. Is it possible to reuse one global prompt tag through the whole program? Something like:

data PromptTag a = PromptTag { getPromptTag# :: PromptTag# a }

thePromptTag :: PromptTag Any
thePromptTag = unsafePerformIO $ IO $
  \s -> case newPromptTag# s of
    (# s, tag #) -> (# s, PromptTag tag #)
{-# NOINLINE thePromptTag #-}
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

No branches or pull requests

1 participant