Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006386OCamlOCaml generalpublic2014-04-30 04:592014-04-30 10:07
Reporterwhitequark 
Assigned Tofrisch 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version4.02.0+dev 
Summary0006386: Odd precedence of [%x]
DescriptionIt seems like "Some [%x]" is parsed as "(Some) ([%x])". Seeing as the latter is never valid, it puzzles me why does the parsetree look like that. I would definitely expect it to be parsed as "Some ([%x])", which is what I currently have to write explicitly.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0011336)
frisch (developer)
2014-04-30 10:07

Thanks, this is now fixed on trunk (commit 14709).

- Issue History
Date Modified Username Field Change
2014-04-30 04:59 whitequark New Issue
2014-04-30 10:07 frisch Note Added: 0011336
2014-04-30 10:07 frisch Status new => resolved
2014-04-30 10:07 frisch Resolution open => fixed
2014-04-30 10:07 frisch Assigned To => frisch
2014-04-30 10:07 frisch Fixed in Version => 4.02.0+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker