Add string literal regression coverage

Signed-off-by: Christoph Knittel <ck@cca.io>

Author: cknitt

tests/analysis_tests/tests/src/DocumentSymbol.res

@@ -30,5 +30,6 @@ module O = {
 }
 
 let zzz = 11
+let templateString = `hello ${zzz->Int.toString}`
 
 //^doc

tests/analysis_tests/tests/src/expected/DocumentSymbol.res.txt

@@ -1,5 +1,17 @@
 DocumentSymbol src/DocumentSymbol.res
 [
+  {
+    "kind": 13,
+    "name": "templateString",
+    "range": {
+      "end": { "character": 49, "line": 32 },
+      "start": { "character": 0, "line": 32 }
+    },
+    "selectionRange": {
+      "end": { "character": 49, "line": 32 },
+      "start": { "character": 0, "line": 32 }
+    }
+  },
   {
     "kind": 16,
     "name": "zzz",

tests/build_tests/super_errors/expected/json_literal_todo_payload.res.expected

@@ -0,0 +1,13 @@
+
+  Warning number 110
+  /.../fixtures/json_literal_todo_payload.res:3:13-32
+
+  1 │ /* Known bug: json literals are only meaningful in external attributes, 
+    │ but
+  2 │  this is currently treated as a regular todo payload. */
+  3 │ let value = %todo(json`message`)
+  4 │ 
+
+  Todo found: message
+
+  This code is not implemented yet and will crash at runtime. Make sure you implement this before running the code.

tests/build_tests/super_errors/fixtures/json_literal_todo_payload.res

@@ -0,0 +1,3 @@
+/* Known bug: json literals are only meaningful in external attributes, but
+ this is currently treated as a regular todo payload. */
+let value = %todo(json`message`)

tests/gentype_tests/typescript-react-example/src/EscapedNames.gen.tsx

@@ -5,7 +5,7 @@
 
 import * as EscapedNamesJS from './EscapedNames.res.js';
 
-export type variant = "Illegal\"Name";
+export type variant = "Illegal\"Name" | "café\npath\\name";
 
 export type UppercaseVariant = "Illegal\"Name";
 

tests/gentype_tests/typescript-react-example/src/EscapedNames.res

@@ -1,5 +1,7 @@
 @genType
-type variant = | @as("Illegal\"Name") IllegalName
+type variant =
+  | @as("Illegal\"Name") IllegalName
+  | @as("café\npath\\name") Utf8
 
 @genType
 type \"UppercaseVariant" = | @as("Illegal\"Name") IllegalName

tests/gentype_tests/typescript-react-example/src/ImportJsValue.gen.tsx

@@ -3,7 +3,7 @@
 /* eslint-disable */
 /* tslint:disable */
 
-import {round as roundNotChecked} from './MyMath';
+import {round as roundNotChecked} from './MyM\x61th';
 
 import {round2 as round2NotChecked} from './MyMath';
 
@@ -13,6 +13,10 @@ import {returnMixedArray as returnMixedArrayNotChecked} from './MyMath';
 
 import {useColor as useColorNotChecked} from './MyMath';
 
+import {useEscapedInlineVariant as useEscapedInlineVariantNotChecked} from './MyMath';
+
+import {useUtf8InlineVariant as useUtf8InlineVariantNotChecked} from './MyMath';
+
 import {higherOrder as higherOrderNotChecked} from './MyMath';
 
 import {convertVariant as convertVariantNotChecked} from './MyMath';
@@ -21,7 +25,7 @@ import {polymorphic as polymorphicNotChecked} from './MyMath';
 
 import {default as defaultNotChecked} from './MyMath';
 
-// In case of type error, check the type of 'round' in 'ImportJsValue.res' and './MyMath'.
+// In case of type error, check the type of 'round' in 'ImportJsValue.res' and './MyM\x61th'.
 export const roundTypeChecked: (_1:number) => number = roundNotChecked as any;
 
 // Export 'round' early to allow circular import from the '.bs.js' file.
@@ -51,6 +55,18 @@ export const useColorTypeChecked: (_1:color) => number = useColorNotChecked as a
 // Export 'useColor' early to allow circular import from the '.bs.js' file.
 export const useColor: unknown = useColorTypeChecked as (_1:color) => number as any;
 
+// In case of type error, check the type of 'useEscapedInlineVariant' in 'ImportJsValue.res' and './MyMath'.
+export const useEscapedInlineVariantTypeChecked: (_1:"Illegal\"Name") => number = useEscapedInlineVariantNotChecked as any;
+
+// Export 'useEscapedInlineVariant' early to allow circular import from the '.bs.js' file.
+export const useEscapedInlineVariant: unknown = useEscapedInlineVariantTypeChecked as (_1:"Illegal\"Name") => number as any;
+
+// In case of type error, check the type of 'useUtf8InlineVariant' in 'ImportJsValue.res' and './MyMath'.
+export const useUtf8InlineVariantTypeChecked: (_1:"café\npath\\name") => number = useUtf8InlineVariantNotChecked as any;
+
+// Export 'useUtf8InlineVariant' early to allow circular import from the '.bs.js' file.
+export const useUtf8InlineVariant: unknown = useUtf8InlineVariantTypeChecked as (_1:"café\npath\\name") => number as any;
+
 // In case of type error, check the type of 'higherOrder' in 'ImportJsValue.res' and './MyMath'.
 export const higherOrderTypeChecked: (_1:((_1:number, _2:number) => number)) => number = higherOrderNotChecked as any;
 

tests/gentype_tests/typescript-react-example/src/ImportJsValue.res

@@ -1,7 +1,7 @@
 @ocaml.doc("
   * Wrap JS values to be used from Reason
   ")
-@genType.import("./MyMath")
+@genType.import(`./MyM\x61th`)
 external /* This is the module to import from. */
 /* Name and type of the JS value to bind to. */
 round: float => float = "round"
@@ -57,6 +57,14 @@ type stringFunction
 
 @genType.import("./MyMath") external useColor: color => int = "useColor"
 
+@genType.import("./MyMath")
+external useEscapedInlineVariant: @string [@as("Illegal\"Name") #illegalName] => int =
+  "useEscapedInlineVariant"
+
+@genType.import("./MyMath")
+external useUtf8InlineVariant: @string [@as("café\npath\\name") #utf8] => int =
+  "useUtf8InlineVariant"
+
 @genType.import("./MyMath") external higherOrder: ((int, int) => int) => int = "higherOrder"
 
 @genType let returnedFromHigherOrder = higherOrder(\"+")

tests/gentype_tests/typescript-react-example/src/ImportJsValue.res.js

@@ -23,6 +23,10 @@ export type stringFunction = (_: string) => string;
 
 export const useColor = (_x: "tomato" | "gray"): number => 0;
 
+export const useEscapedInlineVariant = (_x: 'Illegal"Name'): number => 0;
+
+export const useUtf8InlineVariant = (_x: "café\npath\\name"): number => 0;
+
 export const higherOrder = (foo: (_1: number, _2: number) => number) =>
   foo(3, 4);