You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently we have both Exn and Error modules in the standard library, and we suggest to catch JS errors as Exn.Error(error) (with error having type exn).
Instead, we should document catching JsError(error) (built-in type) with error having type unknown and provide related helper functions in the Error module.
Possibly consider a different/better name than JsError. Error is not ideal either, as it conflicts with the Result module.
The text was updated successfully, but these errors were encountered:
Currently we have both
Exn
andError
modules in the standard library, and we suggest to catch JS errors asExn.Error(error)
(witherror
having typeexn
).Instead, we should document catching
JsError(error)
(built-in type) with error having typeunknown
and provide related helper functions in theError
module.Possibly consider a different/better name than
JsError
.Error
is not ideal either, as it conflicts with theResult
module.The text was updated successfully, but these errors were encountered: