Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005810OCamlOCaml generalpublic2012-11-05 23:372012-11-07 13:37
Reporterchambart 
Assigned Toxclerc 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version4.00.1 
Target VersionFixed in Version4.00.2+dev 
Summary0005810: [patch] Clambda switch printing is broken
DescriptionWhen printing

match [] with
 | [] -> []
 | _ -> []

Printclambda fails
TagsNo tags attached.
Attached Filespatch file icon 0001-Fix-printing-of-switch-in-clambda.patch [^] (1,524 bytes) 2012-11-05 23:37 [Show Content]

- Relationships

-  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
Powered by Mantis Bugtracker