Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
type applications in quotations #5231
Original bug ID: 5231
can't reopen #5104
$ /opt/ocaml-3.12+svn/bin/camlp4of -str '<:str_item< type t = $x$ >>'
$ camlp4of -str '<:str_item< type t = $x$ >>'
3.12+svn is r10964
Comment author: @ygrek
Maybe it makes sense to simply forbid writing quotations in original syntax at all? There have been for a long time subtle bugs with it and I follow a rule myself to always use revised syntax for quotations (right now workarounded this issue in deriving by switching to revised too).