You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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:
dataPromptTaga=PromptTag{ getPromptTag# :: PromptTag# a }thePromptTag::PromptTagAny
thePromptTag = unsafePerformIO $IO$\s ->case newPromptTag# s of
(# s, tag #) -> (# s, PromptTag tag #)
{-# NOINLINE thePromptTag #-}
The text was updated successfully, but these errors were encountered:
Currently the version of
prompt#
andcontrol0#
used ineff
do not receivePromptTag#
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:The text was updated successfully, but these errors were encountered: