brice-morin
commented
7 years ago Not quite related, but note that JS (Node and Browser) now support this @sync_send annotation, without issues it seems (though we might not have any test on that). A bit more related, we should consider making sync ports a first-class concept (e.g. in the same way we promoted abstract functions)
The problem seems to be that messages received by sync_send ports are nor de-queued properly. The sync_send should not make any difference for messages which are received.