Skip to content

Conversation

@thomasjball
Copy link
Collaborator

@thomasjball thomasjball commented Dec 24, 2025

Enabling this callback:

  uBit.messageBus.setListenerDeletionCallback(deleteListener);

quickly leads to an error - a double deregistering of a GCpointer in the MakeCode GC. It is due to subtle race condition and the fact that CODAL eagerly calls the delete listener callback.

The fix is to codal-core: lancaster-university/codal-core#188, which explains the scenario in more detail. Once we have a new version of codal-microbit-v2 incorporating the fix, we can point to that and eanble the callback.

@thomasjball thomasjball requested a review from abchatra January 5, 2026 19:32
@thomasjball thomasjball enabled auto-merge (squash) January 5, 2026 19:43
@thomasjball thomasjball merged commit 133ade0 into microsoft:master Jan 5, 2026
12 checks passed
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.

2 participants