Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005231OCamlCamlp4public2011-02-26 21:272013-08-31 12:44
Reporterygrek 
Assigned Todim 
PrioritynormalSeveritymajorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version3.12.1+dev 
Target VersionFixed in Version3.12.1+dev 
Summary0005231: type applications in quotations
Descriptioncan'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
TagsNo tags attached.
Attached Files

- Relationships
related to 0005104resolvedxclerc extra TySum constructors arise from <:ctyp< >> in original syntax 

-  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.

- 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
2013-08-31 12:44 xleroy Status resolved => closed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker