Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005794OCamlOCaml generalpublic2012-10-17 18:132012-11-21 04:48
Reporterfrisch 
Assigned Tohongboz 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0005794: Pprintast does not print 'private' flag on type declarations
Description(Pprintast is used by the cmt2annot tool and now the -dsource option.)
TagsNo tags attached.
Attached Filespatch file icon pprintast3.patch [^] (2,202 bytes) 2012-10-17 23:50 [Show Content]

- Relationships

-  Notes
(0008281)
hongboz (developer)
2012-10-17 23:50

plz review the patch
(0008282)
hongboz (developer)
2012-10-18 04:01

plz don't apply the patch yet, I will have a much nicer patch a few days later
(0008287)
frisch (developer)
2012-10-18 22:11

Hongbo: I think you can directly commit your fixes to Pprintast when you're ready.
(0008390)
hongboz (developer)
2012-10-31 19:22

Fixed in revision 13054

- Issue History
Date Modified Username Field Change
2012-10-17 18:13 frisch New Issue
2012-10-17 21:18 hongboz Assigned To => hongboz
2012-10-17 21:18 hongboz Status new => assigned
2012-10-17 23:50 hongboz File Added: pprintast3.patch
2012-10-17 23:50 hongboz Note Added: 0008281
2012-10-18 04:01 hongboz Note Added: 0008282
2012-10-18 22:11 frisch Note Added: 0008287
2012-10-31 19:22 hongboz Note Added: 0008390
2012-11-21 04:48 hongboz Status assigned => resolved
2012-11-21 04:48 hongboz Resolution open => fixed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker