Hey all,
our own Simon Peyton Jones proposes to simplify static pointers:
Static pointers are a
feature that allows you to get pointers to expressions that are valid across different processes and machines.
Allowing these expressions to reference certain types of local bindings has been producing issues that are hard to fix. The proposal suggests that instead we could just not allow that - simplifying both the specification and the implementation without placing a large burden on users (e.g. bindings can just be moved to the top level instead).
I recommend acceptance. The cost of trying to figure out how to support the current spec is not worth the fairly marginal gain over the proposed simplification.
It would be great if I could get your responses on this by December 10.
Thanks,
Jakob