Add @notundefined attribute to more Stdlib abstract types (#7464)

* Add @notundefined attribute to Stdlib_Map.t

* Add @notundefined attribute to Stdlib_Set.t

* Add @notundefined attribute to Stdlib_WeakMap.t and Stdlib_WeakSet.t

* Add @notundefined attribute to Stdlib_TypedArray

* Add @notundefined attribute to Stdlib_Symbol

* Add @notundefined attribute to Stdlib_JsError

* Add @notundefined attribute to Stdlib_ArrayBuffer

* Add @notundefined attribute to Stdlib_DataView

* Add @notundefined attribute to Stdlib_Iterator

* Add @notundefined attribute to Stdlib_AsyncIterator

* Remove outdated comment regarding Intl.Segmenter Firefox compatibility

* Add @notundefined attribute to Stdlib_Intl_*

* Typo

* Use throw instead of deprecated raise in internal unused test

* Restore trimmed whitespace

* Add CHANGELOG entry

Author: mediremi

CHANGELOG.md

@@ -45,6 +45,7 @@
 
 - In type errors, recommend stdlib over Belt functions for converting between float/int/string. https://github.com/rescript-lang/rescript/pull/7453
 - Remove unused type `Jsx.ref`. https://github.com/rescript-lang/rescript/pull/7459
+- Add `@notUndefined` attribute to all relevant abstract types in `Stdlib`. https://github.com/rescript-lang/rescript/pull/7464
 
 # 12.0.0-alpha.12
 

runtime/Stdlib_ArrayBuffer.res

@@ -1,3 +1,4 @@
+@notUndefined
 type t
 
 @new external make: int => t = "ArrayBuffer"

runtime/Stdlib_AsyncIterator.res

@@ -1,3 +1,4 @@
+@notUndefined
 type t<'a>
 
 type value<'a> = {

runtime/Stdlib_AsyncIterator.resi

@@ -6,6 +6,7 @@ See [async iterator protocols](https://developer.mozilla.org/en-US/docs/Web/Java
 /**
 The type representing an async iterator.
 */
+@notUndefined
 type t<'a>
 
 type value<'a> = {

runtime/Stdlib_DataView.res

@@ -1,3 +1,4 @@
+@notUndefined
 type t
 
 @new external fromBuffer: Stdlib_ArrayBuffer.t => t = "DataView"

runtime/Stdlib_Intl_Collator.res

@@ -1,3 +1,4 @@
+@notUndefined
 type t
 
 type usage = [#sort | #search]

runtime/Stdlib_Intl_DateTimeFormat.res

@@ -1,3 +1,4 @@
+@notUndefined
 type t
 
 type dateStyle = [#full | #long | #medium | #short]

runtime/Stdlib_Intl_ListFormat.res

@@ -1,3 +1,4 @@
+@notUndefined
 type t
 
 type listType = [

runtime/Stdlib_Intl_Locale.res

@@ -1,3 +1,4 @@
+@notUndefined
 type t
 
 type options = {

runtime/Stdlib_Intl_NumberFormat.res

@@ -1,5 +1,6 @@
 module Grouping = Stdlib_Intl_NumberFormat_Grouping
 
+@notUndefined
 type t
 
 /**
@@ -211,7 +212,7 @@ external formatBigIntRangeToParts: (t, ~start: bigint, ~end: bigint) => array<nu
 external formatStringToParts: (t, string) => array<numberFormatRangePart> = "formatToParts"
 
 /**
-  `ignore(numberGrouping)` ignores the provided numberGrouping and returns unit.
+  `ignore(numberFormat)` ignores the provided numberFormat and returns unit.
 
   This helper is useful when you want to discard a value (for example, the result of an operation with side effects)
   without having to store or process it further.

runtime/Stdlib_Intl_NumberFormat_Grouping.res

@@ -1,3 +1,4 @@
+@notUndefined
 type t
 
 type parsed = [#bool(bool) | #always | #auto | #min2]

runtime/Stdlib_Intl_PluralRules.res

@@ -1,3 +1,4 @@
+@notUndefined
 type t
 
 type localeType = [#cardinal | #ordinal]

runtime/Stdlib_Intl_RelativeTimeFormat.res

@@ -1,3 +1,4 @@
+@notUndefined
 type t
 
 type numeric = [#always | #auto]

runtime/Stdlib_Intl_Segmenter.res

@@ -1,6 +1,4 @@
-/***
-Not supported in Firefox
-*/
+@notUndefined
 type t
 
 type granularity = [#grapheme | #word | #sentence]

runtime/Stdlib_Intl_Segments.res

@@ -2,6 +2,7 @@
  A Segments instance is an object that represents the segments of a specific string, subject to the locale and options of its constructing Intl.Segmenter instance.
 https://tc39.es/ecma402/#sec-segments-objects
 */
+@notUndefined
 type t
 
 type segmentData = {

runtime/Stdlib_Iterator.res

@@ -1,3 +1,4 @@
+@notUndefined
 type t<'a>
 
 type value<'a> = {

runtime/Stdlib_Iterator.resi

@@ -7,6 +7,7 @@ See [`iterator protocols`](https://developer.mozilla.org/en-US/docs/Web/JavaScri
 /**
 The type representing an iterator.
 */
+@notUndefined
 type t<'a>
 
 /**

runtime/Stdlib_JsError.res

@@ -1,3 +1,4 @@
+@notUndefined
 type t
 
 @get external stack: t => option<string> = "stack"

runtime/Stdlib_JsError.resi

@@ -5,6 +5,7 @@ See [`Error`](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/
 */
 
 /** Represents a JavaScript error. */
+@notUndefined
 type t
 
 /**

runtime/Stdlib_Map.res

@@ -1,3 +1,4 @@
+@notUndefined
 type t<'k, 'v>
 
 @new external make: unit => t<'k, 'v> = "Map"

runtime/Stdlib_Map.resi

@@ -7,6 +7,7 @@ See [`Map`](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Gl
 /**
 Type representing an instance of `Map`.
 */
+@notUndefined
 type t<'k, 'v>
 
 /**

runtime/Stdlib_Pair.res

@@ -27,7 +27,7 @@ Pair.second((1, 2))->assertEqual(2)
 external second: (('a, 'b)) => 'b = "%field1"
 
 /**
-  `ignore(option)` ignores the provided pair and returns unit.
+  `ignore(pair)` ignores the provided pair and returns unit.
 
   This helper is useful when you want to discard a value (for example, the result of an operation with side effects)
   without having to store or process it further.

runtime/Stdlib_Set.res

@@ -1,3 +1,4 @@
+@notUndefined
 type t<'a>
 
 @new external make: unit => t<'a> = "Set"

runtime/Stdlib_Set.resi

@@ -7,6 +7,7 @@ See [`Set`](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Gl
 /**
 Type representing an instance of `Set`.
 */
+@notUndefined
 type t<'a>
 
 /**

runtime/Stdlib_Symbol.res

@@ -1,3 +1,4 @@
+@notUndefined
 type t
 
 @val external make: string => t = "Symbol"

runtime/Stdlib_Symbol.resi

@@ -7,6 +7,7 @@ Compiles to a regular JavaScript Symbol.
 /**
 Type representing a Symbol.
 */
+@notUndefined
 type t
 
 /**
@@ -28,7 +29,7 @@ external make: string => t = "Symbol"
 /**
 `getFor(key)`
 
-Searches for existing registered Symbols in the global Symbol registry with the given key and returns it if found. 
+Searches for existing registered Symbols in the global Symbol registry with the given key and returns it if found.
 Otherwise a new Symbol gets created and registered with key.
 
 ## Examples

runtime/Stdlib_TypedArray.res

@@ -1,3 +1,4 @@
+@notUndefined
 type t<'a>
 
 @get_index external get: (t<'a>, int) => option<'a> = ""

runtime/Stdlib_WeakMap.res

@@ -1,3 +1,4 @@
+@notUndefined
 type t<'k, 'v>
 
 @new external make: unit => t<'k, 'v> = "WeakMap"

runtime/Stdlib_WeakSet.res

@@ -1,3 +1,4 @@
+@notUndefined
 type t<'a>
 
 @new external make: unit => t<'a> = "WeakSet"

tests/tests/src/core/intl/Core_Intl_NumberFormatTest.mjs

@@ -1,6 +1,5 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
-import * as Primitive_option from "rescript/lib/es6/Primitive_option.js";
 import * as Stdlib_Intl_NumberFormat_Grouping from "rescript/lib/es6/Stdlib_Intl_NumberFormat_Grouping.js";
 
 console.log("---");
@@ -26,7 +25,7 @@ let roundingFormatter = new Intl.NumberFormat(undefined, {
 });
 
 let groupingFormatter1 = new Intl.NumberFormat(undefined, {
-  useGrouping: Primitive_option.some(true)
+  useGrouping: true
 });
 
 let groupingFormatter2 = new Intl.NumberFormat(undefined, {

tests/tests/src/internal_unused_test.res

@@ -17,7 +17,7 @@ module P1 = {
 }
 open! P1
 
-let f = () => raise(A)
+let f = () => throw(A)
 
 %%private(let b = 3)
 

tests/tests/src/option_wrapping_test.mjs

@@ -1,6 +1,8 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
+import * as Stdlib_Lazy from "rescript/lib/es6/Stdlib_Lazy.js";
 import * as Primitive_option from "rescript/lib/es6/Primitive_option.js";
+import * as Stdlib_AsyncIterator from "rescript/lib/es6/Stdlib_AsyncIterator.js";
 
 let x6 = {
   x: 42
@@ -24,6 +26,54 @@ let x21 = new Date();
 
 let x22 = /test/;
 
+let x23 = new Map();
+
+let x24 = new Set();
+
+let x25 = new WeakMap();
+
+let x26 = new WeakSet();
+
+let x27 = new Float32Array([1.0]);
+
+let x28 = Symbol("");
+
+let x29 = new Error("");
+
+let x30 = new ArrayBuffer(0);
+
+let x31 = new DataView(new ArrayBuffer(0));
+
+let x32 = new Map().values();
+
+let x33 = Stdlib_AsyncIterator.make(() => Promise.resolve(Stdlib_AsyncIterator.value(true)));
+
+let x34 = new Intl.ListFormat();
+
+let x35 = new Intl.Segmenter();
+
+let x36 = new Intl.Segmenter().segment("");
+
+let x37 = new Intl.DateTimeFormat();
+
+let x38 = new Intl.NumberFormat();
+
+let x39 = true;
+
+let x40 = new Intl.Collator();
+
+let x41 = new Intl.RelativeTimeFormat();
+
+let x42 = new Intl.PluralRules();
+
+let x43 = new Intl.Locale("en");
+
+let x45 = Promise.resolve(true);
+
+let x47 = {};
+
+let x48 = Stdlib_Lazy.make(() => true);
+
 let x1 = "hello";
 
 let x2 = 1;
@@ -41,6 +91,13 @@ let x5 = {
 
 let x12 = "test";
 
+let x44 = [
+  1,
+  2
+];
+
+let x46 = /* [] */0;
+
 export {
   x1,
   x2,
@@ -56,5 +113,31 @@ export {
   x20,
   x21,
   x22,
+  x23,
+  x24,
+  x25,
+  x26,
+  x27,
+  x28,
+  x29,
+  x30,
+  x31,
+  x32,
+  x33,
+  x34,
+  x35,
+  x36,
+  x37,
+  x38,
+  x39,
+  x40,
+  x41,
+  x42,
+  x43,
+  x44,
+  x45,
+  x46,
+  x47,
+  x48,
 }
 /* x20 Not a pure module */

tests/tests/src/option_wrapping_test.res

@@ -16,3 +16,31 @@ let x12 = Some(Nullable.Value("test"))
 let x20 = Some(Jsx.null)
 let x21 = Some(Date.make())
 let x22 = Some(/test/)
+let x23 = Some((Map.make(): Map.t<string, string>))
+let x24 = Some((Set.make(): Set.t<string>))
+let x25 = Some((WeakMap.make(): WeakMap.t<string, string>))
+let x26 = Some((WeakSet.make(): WeakSet.t<string>))
+let x27 = Some(Float32Array.fromArray([1.0]))
+let x28 = Some(Symbol.make(""))
+let x29 = Some(JsError.make(""))
+let x30 = Some(ArrayBuffer.make(0))
+let x31 = Some(ArrayBuffer.make(0)->DataView.fromBuffer)
+let x32 = Some((Map.make(): Map.t<string, string>)->Map.values)
+let x33 = Some(AsyncIterator.make(_ => AsyncIterator.value(true)->Promise.resolve))
+
+let x34 = Some(Intl.ListFormat.make())
+let x35 = Some(Intl.Segmenter.make())
+let x36 = Some(Intl.Segmenter.make()->Intl.Segmenter.segment(""))
+let x37 = Some(Intl.DateTimeFormat.make())
+let x38 = Some(Intl.NumberFormat.make())
+let x39 = Some(Intl.NumberFormat.Grouping.fromBool(true))
+let x40 = Some(Intl.Collator.make())
+let x41 = Some(Intl.RelativeTimeFormat.make())
+let x42 = Some(Intl.PluralRules.make())
+let x43 = Some(Intl.Locale.make("en"))
+
+let x44 = Some((1, 2))
+let x45 = Some(Promise.resolve(true))
+let x46 = Some(list{})
+let x47 = Some((Dict.make(): dict<string>))
+let x48 = Some(Lazy.make(_ => true))