You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This is in a series of issues related to JSX ppx that we should solve from first principles.
Currently:
the ppx generates several symbols at the same location.
the editor tries to heuristically figure out what's going on: which of the symbols at that same location it should deal with.
There are several issues posted these days in this repo, that have the same root.
Planning to investigate this starting from the react ppx level first.
++ @rickyvetter
Activity
cristianoc commentedon Apr 27, 2021
This is in a series of issues related to JSX ppx that we should solve from first principles.
Currently:
There are several issues posted these days in this repo, that have the same root.
Planning to investigate this starting from the react ppx level first.
++ @rickyvetter
cristianoc commentedon Apr 27, 2021
These probably related:
#181
#180
#177
bsansouci commentedon Apr 28, 2021
I just opened #183 which is probably related as well
cristianoc commentedon Apr 28, 2021
Labeling all these with
jsxmeaning: not going to address them separately from changes to the ppx for JSX.Add more heuristics for JSX inside fragments.
just getting started