Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005137OCamlOCaml generalpublic2010-08-28 23:052012-07-10 19:52
ReporterChristophe Troestler 
Assigned Todoligez 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version3.13.0+dev 
Target VersionFixed in Version4.00.0+dev 
Summary0005137: caml-types-explore does not work
DescriptionThe current implementation of caml-types-explore raises an exception (due to an incorrect use of caml-types-find-location). The attached patch fixes that.
TagsNo tags attached.
Attached Filespatch file icon caml-types.patch [^] (2,422 bytes) 2010-08-28 23:05 [Show Content]

- Relationships

-  Notes
(0007698)
doligez (administrator)
2012-07-10 19:52


Patch applied to 4.00 (commit 12695) and trunk (commit 12696).

- Issue History
Date Modified Username Field Change
2010-08-28 23:05 Christophe Troestler New Issue
2010-08-28 23:05 Christophe Troestler File Added: caml-types.patch
2011-06-01 23:38 doligez Status new => assigned
2011-06-01 23:38 doligez Assigned To => doligez
2012-07-10 19:52 doligez Note Added: 0007698
2012-07-10 19:52 doligez Status assigned => closed
2012-07-10 19:52 doligez Resolution open => fixed
2012-07-10 19:52 doligez Fixed in Version => 4.00.0+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker