| Anonymous | Login | Signup for a new account | 2013-05-19 07:12 CEST |  |
| Main | My View | View Issues | Change Log | Roadmap |
| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | |||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | |||
| 0004481 | OCaml | OCaml general | public | 2008-01-18 04:08 | 2008-01-18 04:48 | |||
| Reporter | hirokawa | |||||||
| Assigned To | ||||||||
| Priority | normal | Severity | minor | Reproducibility | always | |||
| Status | closed | Resolution | fixed | |||||
| Platform | OS | OS Version | ||||||
| Product Version | 3.10.1 | |||||||
| Target Version | Fixed in Version | 3.10+dev | ||||||
| Summary | 0004481: exception with object yields incorrect type | |||||||
| 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 = <poly> The type of the last expression should be int. | |||||||
| Tags | No tags attached. | |||||||
| Attached Files | ||||||||
 Relationships |
 Notes |
|
|
(0004415) garrigue (manager) 2008-01-18 04:48 |
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. |
|
Notes |
|
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2008-01-18 04:08 | hirokawa | New Issue | |
| 2008-01-18 04:48 | garrigue | Status | new => closed |
| 2008-01-18 04:48 | garrigue | Note Added: 0004415 | |
| 2008-01-18 04:48 | garrigue | Resolution | open => fixed |
| 2008-01-18 04:48 | garrigue | Fixed in Version | => 3.10+dev |
| 2009-06-08 06:10 | garrigue | Relationship added | related to 0004817 |
|
Issue History |
| Copyright © 2000 - 2011 MantisBT Group |
 |