update

Author: aspeddro

lib/es6/Primitive_lazy.js

@@ -0,0 +1,74 @@
+
+
+import * as Primitive_exceptions from "./Primitive_exceptions.js";
+
+function is_val(l) {
+  return l.LAZY_DONE;
+}
+
+let Undefined = /* @__PURE__ */Primitive_exceptions.create("Primitive_lazy.Undefined");
+
+function forward_with_closure(blk, closure) {
+  let result = closure();
+  blk.VAL = result;
+  blk.LAZY_DONE = true;
+  return result;
+}
+
+function raise_undefined() {
+  throw {
+    RE_EXN_ID: Undefined,
+    Error: new Error()
+  };
+}
+
+function force(lzv) {
+  if (lzv.LAZY_DONE) {
+    return lzv.VAL;
+  } else {
+    let closure = lzv.VAL;
+    lzv.VAL = raise_undefined;
+    try {
+      return forward_with_closure(lzv, closure);
+    } catch (e) {
+      lzv.VAL = () => {
+        throw e;
+      };
+      throw e;
+    }
+  }
+}
+
+function force_val(lzv) {
+  if (lzv.LAZY_DONE) {
+    return lzv.VAL;
+  } else {
+    let closure = lzv.VAL;
+    lzv.VAL = raise_undefined;
+    return forward_with_closure(lzv, closure);
+  }
+}
+
+function from_fun(closure) {
+  return {
+    LAZY_DONE: false,
+    VAL: closure
+  };
+}
+
+function from_val(value) {
+  return {
+    LAZY_DONE: true,
+    VAL: value
+  };
+}
+
+export {
+  Undefined,
+  force,
+  force_val,
+  from_fun,
+  from_val,
+  is_val,
+}
+/* No side effect */

lib/js/Primitive_lazy.js

@@ -0,0 +1,72 @@
+'use strict';
+
+let Primitive_exceptions = require("./Primitive_exceptions.js");
+
+function is_val(l) {
+  return l.LAZY_DONE;
+}
+
+let Undefined = /* @__PURE__ */Primitive_exceptions.create("Primitive_lazy.Undefined");
+
+function forward_with_closure(blk, closure) {
+  let result = closure();
+  blk.VAL = result;
+  blk.LAZY_DONE = true;
+  return result;
+}
+
+function raise_undefined() {
+  throw {
+    RE_EXN_ID: Undefined,
+    Error: new Error()
+  };
+}
+
+function force(lzv) {
+  if (lzv.LAZY_DONE) {
+    return lzv.VAL;
+  } else {
+    let closure = lzv.VAL;
+    lzv.VAL = raise_undefined;
+    try {
+      return forward_with_closure(lzv, closure);
+    } catch (e) {
+      lzv.VAL = () => {
+        throw e;
+      };
+      throw e;
+    }
+  }
+}
+
+function force_val(lzv) {
+  if (lzv.LAZY_DONE) {
+    return lzv.VAL;
+  } else {
+    let closure = lzv.VAL;
+    lzv.VAL = raise_undefined;
+    return forward_with_closure(lzv, closure);
+  }
+}
+
+function from_fun(closure) {
+  return {
+    LAZY_DONE: false,
+    VAL: closure
+  };
+}
+
+function from_val(value) {
+  return {
+    LAZY_DONE: true,
+    VAL: value
+  };
+}
+
+exports.Undefined = Undefined;
+exports.force = force;
+exports.force_val = force_val;
+exports.from_fun = from_fun;
+exports.from_val = from_val;
+exports.is_val = is_val;
+/* No side effect */

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

@@ -1,5 +1,5 @@
 Hover src/Fragment.res 6:19
-{"contents": {"kind": "markdown", "value": "```rescript\nReact.component<SectionHeader.props<Jsx.element>>\n```\n\n---\n\n```\n \n```\n```rescript\ntype React.component<'props> = Jsx.component<'props>\n```\nGo to: [Type definition](command:rescript-vscode.go_to_location?%5B%22React.res%22%2C12%2C0%5D)\n\n\n---\n\n```\n \n```\n```rescript\ntype SectionHeader.props<'children> = {children: 'children}\n```\nGo to: [Type definition](command:rescript-vscode.go_to_location?%5B%22Fragment.res%22%2C1%2C2%5D)\n\n\n---\n\n```\n \n```\n```rescript\ntype Jsx.element = Jsx_common.element = {}\n```\nGo to: [Type definition](command:rescript-vscode.go_to_location?%5B%22Jsx.res%22%2C0%2C-1%5D)\n"}}
+{"contents": {"kind": "markdown", "value": "```rescript\nReact.component<SectionHeader.props<Jsx.element>>\n```\n\n---\n\n```\n \n```\n```rescript\ntype React.component<'props> = Jsx.component<'props>\n```\nGo to: [Type definition](command:rescript-vscode.go_to_location?%5B%22React.res%22%2C12%2C0%5D)\n\n\n---\n\n```\n \n```\n```rescript\ntype SectionHeader.props<'children> = {children: 'children}\n```\nGo to: [Type definition](command:rescript-vscode.go_to_location?%5B%22Fragment.res%22%2C1%2C2%5D)\n\n\n---\n\n```\n \n```\n```rescript\ntype Jsx.element = Jsx_common.element\n```\nGo to: [Type definition](command:rescript-vscode.go_to_location?%5B%22Jsx.res%22%2C0%2C-1%5D)\n"}}
 
 Hover src/Fragment.res 9:56
 Nothing at that position. Now trying to use completion.

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

@@ -8,6 +8,5 @@
   20 │ 
 
   This has type: array<'a>
-  But it's expected to have type: React.element (defined as Jsx.element)
-  
-  You need to convert each item in this array to a JSX element first, then use React.array to convert the array of JSX elements into a single JSX element.
+  But it's expected to have type:
+    React.element (defined as Jsx_common.element)

tests/build_tests/super_errors/expected/jsx_type_mismatch_array_element.res.expected

@@ -8,6 +8,5 @@
   18 │ 
 
   This has type: array<'a>
-  But it's expected to have type: React.element (defined as Jsx.element)
-  
-  You need to convert each item in this array to a JSX element first, then use React.array to convert the array of JSX elements into a single JSX element.
+  But it's expected to have type:
+    React.element (defined as Jsx_common.element)

tests/build_tests/super_errors/expected/jsx_type_mismatch_array_raw.res.expected

@@ -8,6 +8,5 @@
   18 │ 
 
   This has type: float
-  But it's expected to have type: React.element (defined as Jsx.element)
-  
-  In JSX, all content must be JSX elements. You can convert float to a JSX element with React.float.
+  But it's expected to have type:
+    React.element (defined as Jsx_common.element)

tests/build_tests/super_errors/expected/jsx_type_mismatch_float.res.expected

@@ -8,6 +8,5 @@
   18 │ 
 
   This has type: int
-  But it's expected to have type: React.element (defined as Jsx.element)
-  
-  In JSX, all content must be JSX elements. You can convert int to a JSX element with React.int.
+  But it's expected to have type:
+    React.element (defined as Jsx_common.element)

tests/build_tests/super_errors/expected/jsx_type_mismatch_int.res.expected

@@ -8,7 +8,5 @@
   18 │ 
 
   This has type: option<'a>
-  But it's expected to have type: React.element (defined as Jsx.element)
-  
-  You need to unwrap this option to its underlying value first, then turn that value into a JSX element.
-  For None, you can use React.null to output nothing into JSX.
+  But it's expected to have type:
+    React.element (defined as Jsx_common.element)

tests/build_tests/super_errors/expected/jsx_type_mismatch_option.res.expected

@@ -8,6 +8,5 @@
   18 │ 
 
   This has type: string
-  But it's expected to have type: React.element (defined as Jsx.element)
-  
-  In JSX, all content must be JSX elements. You can convert string to a JSX element with React.string.
+  But it's expected to have type:
+    React.element (defined as Jsx_common.element)