Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004481OCamlOCaml generalpublic2008-01-18 04:082008-01-18 04:48
Reporterhirokawa 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version3.10.1 
Target VersionFixed in Version3.10+dev 
Summary0004481: exception with object yields incorrect type
DescriptionWhen 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.
TagsNo tags attached.
Attached Files

- Relationships
related to 0004817closedgarrigue Object type gives error "Unbound type parameter .." 

-  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.

- 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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker