4b7e06e14f
We don't emit type annotations right now for `AstLocal`s in the JSON encoder. This makes it really hard to surface annotations in the Agda implementation. This PR changes it to emit location and type annotations, if present. |
||
---|---|---|
.. | ||
include/Luau | ||
src |