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(a)redhat.com
ReportedBy: loganjerry(a)gmail.com
QAContact: extras-qa(a)fedoraproject.org
CC: rjones(a)redhat.com, fedora-ocaml-list(a)redhat.com
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.