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
Original bug ID: 4481 Reporter: hirokawa Status: closed (set by @garrigue on 2008-01-18T03:48:37Z) Resolution: fixed Priority: normal Severity: minor Version: 3.10.1 Fixed in version: 3.10+dev Category: ~DO NOT USE (was: OCaml general) Related to:#4817 Monitored by: hirokawa
Bug description
When catching an exception whose argument is an
object of type < .. >, ocaml infers a wrong type.
Here is a short example:
exception A of < .. >;;
exception A of < .. >
try raise (A (object method x = 1 end)) with A o -> o#x;;
: 'a =
The type of the last expression should be int.
The text was updated successfully, but these errors were encountered:
This is the 3rd avatar of type variables going unchecked in exceptions...
Actually, the exception definition itself shall be rejected.
Thanks for reporting it, this is now fixed in CVS.
Original bug ID: 4481
Reporter: hirokawa
Status: closed (set by @garrigue on 2008-01-18T03:48:37Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 3.10.1
Fixed in version: 3.10+dev
Category: ~DO NOT USE (was: OCaml general)
Related to: #4817
Monitored by: hirokawa
Bug description
When catching an exception whose argument is an
object of type < .. >, ocaml infers a wrong type.
Here is a short example:
exception A of < .. >;;
exception A of < .. >
try raise (A (object method x = 1 end)) with A o -> o#x;;
The type of the last expression should be int.
The text was updated successfully, but these errors were encountered: