| Anonymous | Login | Signup for a new account | 2013-05-25 16:17 CEST |  |
| Main | My View | View Issues | Change Log | Roadmap |
| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | |||||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | |||||||
| 0005231 | OCaml | Camlp4 | public | 2011-02-26 21:27 | 2012-01-05 11:30 | |||||||
| Reporter | ygrek | |||||||||||
| Assigned To | dim | |||||||||||
| Priority | normal | Severity | major | Reproducibility | always | |||||||
| Status | resolved | Resolution | fixed | |||||||||
| Platform | OS | OS Version | ||||||||||
| Product Version | 3.12.1+dev | |||||||||||
| Target Version | Fixed in Version | 3.12.1+dev | ||||||||||
| Summary | 0005231: type applications in quotations | |||||||||||
| Description | can't reopen PR#5104 $ /opt/ocaml-3.12+svn/bin/camlp4of -str '<:str_item< type t = $x$ >>' Ast.StSem (_loc, (Ast.StTyp (_loc, (Ast.TyDcl (_loc, "t", [], (Ast.TySum (_loc, x)), [])))), (Ast.StNil _loc)) $ camlp4of -str '<:str_item< type t = $x$ >>' Ast.StSem (_loc, Ast.StTyp (_loc, Ast.TyDcl (_loc, "t", [], x, [])), Ast.StNil _loc) 3.12+svn is r10964 | |||||||||||
| Tags | No tags attached. | |||||||||||
| Attached Files | ||||||||||||
 Relationships |
||||||
|
||||||
 Relationships |
|
Notes |
|
|
(0005835) ygrek (reporter) 2011-02-26 23:38 |
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). |
|
(0006596) dim (developer) 2012-01-05 11:30 |
Fixed. Commits 11989 and 11990. |
|
Notes |
|
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2011-02-26 21:27 | ygrek | New Issue | |
| 2011-02-26 21:27 | ygrek | Status | new => assigned |
| 2011-02-26 21:27 | ygrek | Assigned To | => ertai |
| 2011-02-26 23:38 | ygrek | Note Added: 0005835 | |
| 2011-03-03 09:43 | xclerc | Relationship added | related to 0005104 |
| 2011-10-26 08:44 | ertai | Assigned To | ertai => xclerc |
| 2012-01-05 11:30 | dim | Note Added: 0006596 | |
| 2012-01-05 11:30 | dim | Assigned To | xclerc => dim |
| 2012-01-05 11:30 | dim | Status | assigned => resolved |
| 2012-01-05 11:30 | dim | Resolution | open => fixed |
| 2012-01-05 11:30 | dim | Fixed in Version | => 3.12.1+dev |
|
Issue History |
| Copyright © 2000 - 2011 MantisBT Group |
 |