Add more heuristics for JSX inside fragments.

Fixes #182.

Author: cristianoc

analysis/src/References.ml

@@ -27,6 +27,17 @@ let locItemForPos ~full pos =
   | _ :: _ :: _ :: l :: _ when full.file.uri |> Uri2.isInterface ->
     (* heuristic for makeProps in interface files *)
     Some l
+  | [
+   {locType = Typed ("fragment", _, _)};
+   {locType = Typed ("createElement", _, _)};
+  ] ->
+    (* heuristic for </Comp> within a fragment *)
+    None
+  | {locType = Typed ("makeProps", _, _)}
+    :: ({locType = Typed ("make", _, _)} as l2) :: _ ->
+    (* heuristic for </Comp> within fragments: take make as makeProps does not work
+       the type is not greatl but jump to definition works *)
+    Some l2
   | [({locType = Typed (_, _, LocalReference _)} as li1); li3]
     when li1.loc = li3.loc ->
     (* JSX and compiler combined:

analysis/tests/src/Fragment.res

@@ -0,0 +1,11 @@
+module SectionHeader = {
+  @react.component
+  let make = (~children) => children
+}
+
+
+let z1 = <> <SectionHeader> {React.string("abc")} </SectionHeader> </>
+//                 ^hov
+
+let z2 = <> <SectionHeader> {React.string("abc")} </SectionHeader> </>
+//                                                      ^hov

analysis/tests/src/expected/Fragment.res.txt

@@ -0,0 +1,6 @@
+Hover tests/src/Fragment.res 6:19
+{"contents": "```rescript\n{\"children\": 'children} => 'children\n```"}
+
+Hover tests/src/Fragment.res 9:56
+null
+