0005816: read_cmt -annot does not work for partial .cmt files (generated in case of a type error) - MantisBT

Mantis Bug Tracker

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0005816

OCaml

OCaml general

public

2012-11-08 14:56

2013-01-05 11:09

Reporter

frisch

Assigned To

frisch

Priority

normal

Severity

minor

Reproducibility

have not tried

Status

resolved

Resolution

fixed

Platform

OS

OS Version

Product Version

Target Version

Fixed in Version

Summary

0005816: read_cmt -annot does not work for partial .cmt files (generated in case of a type error)

Description

Everything is in the title.

Tags

No tags attached.

Relationships

Notes
(0008451) frisch (developer) 2012-11-08 18:21	Mostly fixed by commit 13085.

(0008694) doligez (manager) 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