Mercury Bugs - mercury
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0000308mercuryFeature Requestpublic2014-01-13 15:372014-02-21 11:26
Reporterpbone 
Assigned To 
PrioritynormalSeveritytweakReproducibilityhave not tried
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000308: --max-error-line-width should allow '0' meaning no-maximum
DescriptionWhen mmc's output will be parsed by another program error line width doesn't matter and can even get in the way. It'd be useful if we could disable the line wrapping used to make it easy for humans to read.
Additional InformationThis is useful for tools such as flycheck-mercury https://github.com/flycheck/flycheck-mercury
TagsNo tags attached.
Relationships
Attached Files

Notes
(0000604)
juliensf   
2014-01-13 15:45   
I would prefer it if we just supported --no-max-error-line-width in that case. (i.e. use the
maybe_int/1 alternative in option_data.)
(0000605)
pbone   
2014-01-13 15:50   
That's fine too. (I'm less familiar with some of our option passing support).
(0000648)
pbone   
2014-02-21 11:26   
Matthias reported that Zoltan's change fixes the problem for him.

Issue History
Date ModifiedUsernameFieldChange
2014-01-13 15:37pboneNew Issue
2014-01-13 15:45juliensfNote Added: 0000604
2014-01-13 15:50pboneNote Added: 0000605
2014-01-28 19:35zsAssigned To => zs
2014-01-28 19:35zsStatusnew => assigned
2014-02-21 11:26pboneNote Added: 0000648
2014-02-21 11:26pboneStatusassigned => closed
2014-02-21 11:26pboneResolutionopen => fixed
2014-02-21 11:26pboneAssigned Tozs =>