Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004179OCamlOCaml generalpublic2006-11-30 23:132006-12-01 00:39
Reportersmimram 
Assigned To 
PrioritynormalSeveritymajorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version3.09.2 
Target VersionFixed in Version3.09.3 
Summary0004179: about 'a exceptions
DescriptionIt 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>
TagsNo tags attached.
Attached Files

- Relationships
duplicate of 0004002closed unsafe cast via polymorphic exception 

-  Notes
There are no notes attached to this issue.

- 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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker