New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
type application in quotations #5080
Comments
Comment author: jaked I have the same problem with << |
Comment author: jaked Maybe not the same bug, but as it is for <:ctyp< >> I'll put it here: for <:ctyp< |
Comment author: @ygrek This affects deriving as well. First two cases can be workarounded with extra parentheses :
|
Comment author: @xclerc Nicolas Pouillard provided me with a cleaner patch that has Please test it, and re-open the issue if I missed something. |
Comment author: @damiendoligez The current version (3.12.1+dev11) breaks lablgtk with the following error message. File "gtkSignal.ml4", line 92, characters 10-13: This happens with and without the patch that you (xclerc) provided to me in private. |
Comment author: @xclerc As a first step, I reduce the bug case to: camlp4of no more accepts polymorphic variants with a parameter. Investigation continues... |
Original bug ID: 5080
Reporter: @glondu
Assigned to: @xclerc
Status: closed (set by @xavierleroy on 2015-12-11T18:04:46Z)
Resolution: fixed
Priority: normal
Severity: major
Version: 3.12.0+beta1 or 3.12.0+rc1
Fixed in version: 4.00.0+dev
Category: -for Camlp4 use https://github.com/ocaml/camlp4/issues
Related to: #5104
Monitored by: "Dmitry Grebeniuk" @ygrek thelema jaked jm @hcarty @Chris00
Bug description
Hello,
The following:
let test x = match x with$a$ $b$ >> -> (a, b)
| <:ctyp<
used to work with camlp4of (3.11.2), but stopped working with 3.12.0+beta1. I'm not sure if this is expected.
ocaml-batteries is affected by this issue... I've not been able to find anything else than using the expanded quotation.
The text was updated successfully, but these errors were encountered: