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
The same would need to be done for all other functions in String/Bytes calling create. This would introduce some overhead (if we add an exception wrapper or reimplement the bound checks in each function), and the backtrace is a better way to find out the problem. Changing the text now could in theory break existing code (although it is explicitly discouraged to match on the concrete string). Anyway, given the lack of activity of this ticket for many years, I'm marking it as "won't fix".
Original bug ID: 4757
Reporter: artemis01
Assigned to: @alainfrisch
Status: resolved (set by @alainfrisch on 2016-12-07T17:28:08Z)
Resolution: won't fix
Priority: normal
Severity: feature
Version: 3.11.0
Category: standard library
Bug description
In the standard library, module String.
When the String.make's call to String.create raises Invalid_argument, the error message is "Exception: Invalid_argument "String.create"."
It would be better if it were "Exception: Invalid_argument "String.make"." in order to find where the error comes from.
Thanks.
The text was updated successfully, but these errors were encountered: