[Question][ReScript] Possible to track promise rejections?

I wonder if it is possible to extend exception tracking to raise(Exception) and Js.Promise.reject called inside Js.Promise.make and Js.Promise.then and ensure they are caught with Js.Promise.catch.

If this works then it would be great for ReScript since that world doesn't use Result.t and converting between exception and Result can be painful.

Using Result type itself with promises can be painful when you often run into types like result<Promise.t<result<option<_>, _>>, _>. And for code paths that is most the green path, allocation Result types every time is less attractive than just raising exceptions, however we do lose type checking.

This would also be a huge sell when people compare ReScript to other languages like TypeScript since the latter has untyped errors and provide no help in tracking which errors can be caught.

Start by reviewing the promise operations named in the issue: Js.Promise.make, Js.Promise.then, Js.Promise.reject, and Js.Promise.catch. Determine whether exceptions raised within the first two should be tracked and caught, then define the supported behavior and type-checking expectations before implementation.