| commit | 5d461b09a5353ca922d6865dfdbc4b108fa677b5 | |
| author | Wilfred Hughes <wilfred@fb.com> | |
| Fri, 30 Sep 2022 17:37:47 +0000 (30 10:37 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Fri, 30 Sep 2022 17:37:47 +0000 (30 10:37 -0700) | ||
| tree | 30fb75e5fd19294cb1f23bfff7dc8a0779298979 | treesnapshot (tar.gz zip) |
| parent | 04815f8e511a2751a212c645a91d8420495e0413 | commitdiff |
Pass positions in lint quickfix API
Summary: Previously a lint quickfix had the type `(string * string * int * int)`, which was an implementation detail of the JSON returned. Use `(string * Pos.t)` instead, to simplify call sites.
Reviewed By: vsiles
Differential Revision: D39914443
fbshipit-source-id: 89deeb6f7972281694fe55a3cefc2c5f7c298402
Summary: Previously a lint quickfix had the type `(string * string * int * int)`, which was an implementation detail of the JSON returned. Use `(string * Pos.t)` instead, to simplify call sites.
Reviewed By: vsiles
Differential Revision: D39914443
fbshipit-source-id: 89deeb6f7972281694fe55a3cefc2c5f7c298402