View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||
---|---|---|---|---|---|---|---|---|---|
0000308 | mercury | Feature Request | public | 2014-01-13 15:37 | 2014-02-21 11:26 | ||||
Reporter | pbone | ||||||||
Assigned To | |||||||||
Priority | normal | Severity | tweak | Reproducibility | have not tried | ||||
Status | closed | Resolution | fixed | ||||||
Product Version | |||||||||
Target Version | Fixed in Version | ||||||||
Summary | 0000308: --max-error-line-width should allow '0' meaning no-maximum | ||||||||
Description | When 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 Information | This is useful for tools such as flycheck-mercury https://github.com/flycheck/flycheck-mercury | ||||||||
Tags | No tags attached. | ||||||||
Attached Files |
|
![]() |
|
juliensf (administrator) 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.) |
pbone (administrator) 2014-01-13 15:50 |
That's fine too. (I'm less familiar with some of our option passing support). |
pbone (administrator) 2014-02-21 11:26 |
Matthias reported that Zoltan's change fixes the problem for him. |
![]() |
|||
Date Modified | Username | Field | Change |
---|---|---|---|
2014-01-13 15:37 | pbone | New Issue | |
2014-01-13 15:45 | juliensf | Note Added: 0000604 | |
2014-01-13 15:50 | pbone | Note Added: 0000605 | |
2014-01-28 19:35 | zs | Assigned To | => zs |
2014-01-28 19:35 | zs | Status | new => assigned |
2014-02-21 11:26 | pbone | Note Added: 0000648 | |
2014-02-21 11:26 | pbone | Status | assigned => closed |
2014-02-21 11:26 | pbone | Resolution | open => fixed |
2014-02-21 11:26 | pbone | Assigned To | zs => |