| Anonymous | Login | Signup for a new account | 2013-06-19 13:45 CEST | ![]() |
| Main | My View | View Issues | Change Log | Roadmap |
| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | |||||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | |||||||
| 0005810 | OCaml | OCaml general | public | 2012-11-05 23:37 | 2012-11-07 13:37 | |||||||
| Reporter | chambart | |||||||||||
| Assigned To | xclerc | |||||||||||
| Priority | normal | Severity | minor | Reproducibility | always | |||||||
| Status | resolved | Resolution | fixed | |||||||||
| Platform | OS | OS Version | ||||||||||
| Product Version | 4.00.1 | |||||||||||
| Target Version | Fixed in Version | 4.00.2+dev | ||||||||||
| Summary | 0005810: [patch] Clambda switch printing is broken | |||||||||||
| Description | When printing match [] with | [] -> [] | _ -> [] Printclambda fails | |||||||||||
| Tags | No tags attached. | |||||||||||
| Attached Files | ||||||||||||
Notes |
|
|
(0008438) xclerc (developer) 2012-11-07 13:37 |
Patch applied in both trunk (revision 13073) and '4.00' (revision 13074) branches. |
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2012-11-05 23:37 | chambart | New Issue | |
| 2012-11-05 23:37 | chambart | File Added: 0001-Fix-printing-of-switch-in-clambda.patch | |
| 2012-11-07 13:37 | xclerc | Note Added: 0008438 | |
| 2012-11-07 13:37 | xclerc | Status | new => resolved |
| 2012-11-07 13:37 | xclerc | Fixed in Version | => 4.00.2+dev |
| 2012-11-07 13:37 | xclerc | Resolution | open => fixed |
| 2012-11-07 13:37 | xclerc | Assigned To | => xclerc |
| Copyright © 2000 - 2011 MantisBT Group |