Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: ocaml-camlp5 pretty printer bug https://bugzilla.redhat.com/show_bug.cgi?id=691913 Summary: ocaml-camlp5 pretty printer bug Product: Fedora Version: 15 Platform: All OS/Version: Linux Status: NEW Severity: unspecified Priority: unspecified Component: ocaml-camlp5 AssignedTo: rjones@xxxxxxxxxx ReportedBy: loganjerry@xxxxxxxxx QAContact: extras-qa@xxxxxxxxxxxxxxxxx CC: rjones@xxxxxxxxxx, fedora-ocaml-list@xxxxxxxxxx Classification: Fedora Story Points: --- Description of problem: I'm trying to build the latest version of coq. The build is failing on F-15. Coq upstream claims it is a known bug in the camlp5 pretty printer. The upstream discussion is here (may require registration): http://www.lix.polytechnique.fr/coq/bugs/show_bug.cgi?id=2468 That bug says the patch to fix the problem is as follows (may be whitespace mangled due to cutting and pasting between browser tabs): Index: etc/pr_o.ml =================================================================== RCS file: /home/ROCQ/aosteroc/deraugla/repository/camlp5/etc/pr_o.ml,v retrieving revision 6.48 retrieving revision 6.49 diff -r6.48 -r6.49 2c2 < (* $Id: pr_o.ml,v 6.48 2010-11-21 17:17:45 deraugla Exp $ *) --- > (* $Id: pr_o.ml,v 6.49 2010-12-06 10:31:00 deraugla Exp $ *) 2083c2083 < | None -> patt pc p ] --- > | None -> pprintf pc "~%p" patt p ] Version-Release number of selected component (if applicable): ocaml-camlp5-6.02.1-2.fc15.x86_64 How reproducible: Always Steps to Reproduce: 1. Attempt to compile coq (vanilla upstream tarball shows the problem) 2. 3. Actual results: File "toplevel/mltop.optml", line 112, characters 63-64: Error: The function applied to this argument has type ?warn:bool -> System.physical_path * string This argument cannot be applied without label make[1]: *** [toplevel/mltop.cmx] Error 2 Expected results: Successful compilation. Additional info: -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug. _______________________________________________ ocaml-devel mailing list ocaml-devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/ocaml-devel
