Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005816OCamlOCaml generalpublic2012-11-08 14:562013-01-05 11:09
Reporterfrisch 
Assigned Tofrisch 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0005816: read_cmt -annot does not work for partial .cmt files (generated in case of a type error)
DescriptionEverything is in the title.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0008451)
frisch (developer)
2012-11-08 18:21

Mostly fixed by commit 13085.
(0008694)
doligez (administrator)
2013-01-04 15:21

Alain, what do you mean by "mostly" fixed? Could you describe what is still not fixed?
(0008695)
frisch (developer)
2013-01-05 11:09
edited on: 2013-01-05 11:10

I should have been more explicit in the commit message, now I don't remember anymore... I'm marking this issue 'fixed' and will re-open it if needed.


- Issue History
Date Modified Username Field Change
2012-11-08 14:56 frisch New Issue
2012-11-08 18:21 frisch Note Added: 0008451
2013-01-04 15:21 doligez Note Added: 0008694
2013-01-04 15:21 doligez Status new => feedback
2013-01-05 11:09 frisch Note Added: 0008695
2013-01-05 11:09 frisch Status feedback => new
2013-01-05 11:09 frisch Status new => resolved
2013-01-05 11:09 frisch Resolution open => fixed
2013-01-05 11:09 frisch Assigned To => frisch
2013-01-05 11:10 frisch Note Edited: 0008695 View Revisions


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker