| Anonymous | Login | Signup for a new account | 2013-06-19 19:44 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 | |||
| 0004179 | OCaml | OCaml general | public | 2006-11-30 23:13 | 2006-12-01 00:39 | |||
| Reporter | smimram | |||||||
| Assigned To | ||||||||
| Priority | normal | Severity | major | Reproducibility | always | |||
| Status | closed | Resolution | fixed | |||||
| Platform | OS | OS Version | ||||||
| Product Version | 3.09.2 | |||||||
| Target Version | Fixed in Version | 3.09.3 | ||||||
| Summary | 0004179: about 'a exceptions | |||||||
| Description | It looks like the following breaks the type system. # exception E of _;; exception E of 'a # let magic x = try raise (E x) with E x -> x;; val magic : 'a -> 'b = <fun> | |||||||
| Tags | No tags attached. | |||||||
| Attached Files | ||||||||
 Relationships |
||||||
|
||||||
 Relationships |
|
Notes |
|
| There are no notes attached to this issue. |
|
Notes |
|
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2006-11-30 23:13 | smimram | New Issue | |
| 2006-12-01 00:38 | garrigue | Relationship added | duplicate of 0004002 |
| 2006-12-01 00:39 | garrigue | Status | new => closed |
| 2006-12-01 00:39 | garrigue | Resolution | open => fixed |
| 2006-12-01 00:39 | garrigue | Fixed in Version | => 3.09.3 |
|
Issue History |
| Copyright © 2000 - 2011 MantisBT Group |
 |