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
I have a mini patch to Rts in a repo, that could be attached here. Not sure the GHC guys will accept it though, since it does not cope with dangling refs into the unloaded code. A kind of finalization (or redirection) mechanism is needed.
The text was updated successfully, but these errors were encountered:
I have a mini patch to Rts in a repo, that could be attached here. Not sure the GHC guys will accept it though, since it does not cope with dangling refs into the unloaded code. A kind of finalization (or redirection) mechanism is needed.
The text was updated successfully, but these errors were encountered: