Christopher Blappert
Christopher Blappert
Copied with some modifications from @NTillmann's comment on #2303: To revisit in the future: In what initial state should a nested optimized function be evaluated in? - The state after...
It seems that the debugger tests are passing on CI and failing internally. I don't really have time to look into it this week before PTO. @yinghuitan could you look...
If we make the website the source of truth for compiler diagnostics, we should probably either migrate the information from the wiki to the website or figure out if opensource...
https://github.com/ExpoSEJS/z3javascript seems to provide an npm package that gives JS bindings for Z3.
The Flow typing of the DOM (https://github.com/facebook/flow/blob/v0.44.1/lib/dom.js) is also of interest for this, as we may want to be able to generate models from Flow typed APIs for React Native....
Right, so what's happening here is that when we optimize the function in array.map, we record that we should optimize `g`, but `g` doesn't exist when we try to optimize...
Adding babel-jest worked! For the debugging bullet: I seem to be able to run jest in the VSCode debugger now based off this: https://jestjs.io/docs/en/troubleshooting, but I can't filter tests or...
Updated, and it seems like babel-jest is no longer enough to use `import` syntax. Keeps failing for me with `SyntaxError: Unexpected token import`.