Zoey
Zoey
This may be easier now that #88 no longer requires patching of the Z3 sources.
@dependabot rebase
The multi-layer promise unpacking is so unintuitive, but ... Yeah, that hack should work.
If you'd like, I've rebased this changeset to the latest upstream HEAD, applied the compilation fix I commented above, and pushed it to [Dessix/mx-puppet-bridge/postgres-wait](/Dessix/mx-puppet-bridge/tree/postgres-wait).
@erulabs I received a message notification from you on a commit but it doesn't appear to have made it into this PR? Additionally, my branch doesn't appear to actually succeed-...
@dsonck92 I had a repro but I couldn't figure out what was leading to Node exiting. Strace and node-debug (and even `rr`) gave me nothing at the point of failure....
Wait, doesn’t that just announce the unintuitive behavior instead of correcting it?
Thank you @philrz ; I'll keep following this to make sure it doesn't get lost beneath GitHub noise then ^^ I believe the `Closes 5110` note is why the PR...
Still undocumented, from what I can find. Don't mark this as stale.
This issue is still present in current Metals versions, and still leads to "Unable to open " errors even when interacting with official types in `Predef.scala`, such as the links...