Test cases for exotic identifiers

Author: cknitt

analysis/tests/src/ExoticIdentifiers.res

@@ -0,0 +1,40 @@
+module X = {
+  //   ^hov
+  let \"Foo" = "foo"
+}
+
+// let foo = X.
+//             ^com
+
+module type Y = {
+  //        ^hov
+  let \"Foo": string
+}
+
+type x = {\"Foo": string}
+//   ^hov
+
+let f = (x: x) => {
+  // let {} = x
+  //      ^com
+  ignore(x)
+}
+
+let g = (~\"Foo") => \"Foo"
+//  ^hov
+
+// g(~)
+//    ^com
+
+module C = {
+  //   ^hov
+  @react.component
+  let make = (~\"Foo": option<string>=?) =>
+    switch \"Foo" {
+    | Some(foo) => React.string(foo)
+    | None => React.null
+    }
+}
+
+let _ = <C />
+//         ^com 

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

@@ -0,0 +1,71 @@
+Hover src/ExoticIdentifiers.res 0:7
+{"contents": {"kind": "markdown", "value": "```rescript\nmodule X: {\n  let Foo: string\n}\n```"}}
+
+Complete src/ExoticIdentifiers.res 5:15
+posCursor:[5:15] posNoWhite:[5:14] Found expr:[5:13->5:15]
+Pexp_ident X.:[5:13->5:15]
+Completable: Cpath Value[X, ""]
+[{
+    "label": "Foo",
+    "kind": 12,
+    "tags": [],
+    "detail": "string",
+    "documentation": null
+  }]
+
+Hover src/ExoticIdentifiers.res 8:12
+{"contents": {"kind": "markdown", "value": "```rescript\nmodule type Y = {\n  let Foo: string\n}\n```"}}
+
+Hover src/ExoticIdentifiers.res 13:5
+{"contents": {"kind": "markdown", "value": "```rescript\ntype x = {\\\"Foo\": string}\n```"}}
+
+Complete src/ExoticIdentifiers.res 17:10
+posCursor:[17:10] posNoWhite:[17:9] Found expr:[16:8->20:1]
+posCursor:[17:10] posNoWhite:[17:9] Found expr:[17:5->19:11]
+posCursor:[17:10] posNoWhite:[17:9] Found pattern:[17:9->17:11]
+Completable: Cpattern Value[x]->recordBody
+[{
+    "label": "Foo",
+    "kind": 5,
+    "tags": [],
+    "detail": "Foo: string\n\nx",
+    "documentation": null
+  }]
+
+Hover src/ExoticIdentifiers.res 22:4
+{"contents": {"kind": "markdown", "value": "```rescript\n(~Foo: 'a) => 'a\n```"}}
+
+Complete src/ExoticIdentifiers.res 25:6
+posCursor:[25:6] posNoWhite:[25:5] Found expr:[25:3->25:7]
+Pexp_apply ...[25:3->25:4] ()
+Completable: CnamedArg(Value[g], "", [])
+Found type for function (~Foo: 'a) => 'a
+[{
+    "label": "Foo",
+    "kind": 4,
+    "tags": [],
+    "detail": "'a",
+    "documentation": null
+  }]
+
+Hover src/ExoticIdentifiers.res 28:7
+{"contents": {"kind": "markdown", "value": "```rescript\nmodule C: {\n  let makeProps: (\n  ~Foo: string=?,\n  ~key: string=?,\n  unit,\n) => {\"Foo\": option<string>}\n  let make: {\"Foo\": option<string>} => React.element\n}\n```"}}
+
+Complete src/ExoticIdentifiers.res 38:11
+posCursor:[38:11] posNoWhite:[38:9] Found expr:[38:9->38:13]
+JSX <C:[38:9->38:10] > _children:38:11
+Completable: Cjsx([C], "", [])
+[{
+    "label": "Foo",
+    "kind": 4,
+    "tags": [],
+    "detail": "option<string>",
+    "documentation": null
+  }, {
+    "label": "key",
+    "kind": 4,
+    "tags": [],
+    "detail": "string",
+    "documentation": null
+  }]
+