Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005685OCamlCamlp4public2012-07-13 16:512014-05-25 20:20
Reporterhongboz 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version 
Target Version4.02.0+devFixed in Version 
Summary0005685: Antiquotation bug (quotation expr, with antiquotation list)
Descriptionvalue f x = <:expr< $list:x$ >> ;
will be accepted and the type is weird
list Ast.ident -> Ast.expr (This absolutely not what I want)
The problem comes from that in the parser entry
expr accept TRY val_longident which accept ANTIQUOT, and the context is changed.
I guess there maybe other similar bugs in other places. The patch is attached, plz review the patch. Thanks
Another problem, I added some tracing functionality for the parser in my in-home camlp4 which helps me a lot to pinpoint the problem. How about the idea to add some tracing for the parser?
Tagspatch
Attached Filespatch file icon revised.patch [^] (1,232 bytes) 2012-07-13 16:51 [Show Content]

- Relationships

-  Notes
(0007751)
hongboz (developer)
2012-07-13 17:25

Sorry, this may not be considered a bug, it may intensionally designed this way
(0007752)
hongboz (developer)
2012-07-13 17:32

I think it's better to document this unexpected behavior. Since the parser expr fails it will try to use the parser ident, ident happens to support list antiquot which people in general may thought it's expr that parse the antiquot, actually not.

- Issue History
Date Modified Username Field Change
2012-07-13 16:51 hongboz New Issue
2012-07-13 16:51 hongboz File Added: revised.patch
2012-07-13 17:25 hongboz Note Added: 0007751
2012-07-13 17:32 hongboz Note Added: 0007752
2012-07-17 14:50 doligez Status new => acknowledged
2012-07-17 14:50 doligez Target Version => 4.01.0+dev
2012-07-31 13:36 doligez Target Version 4.01.0+dev => 4.00.1+dev
2012-09-21 14:49 doligez Target Version 4.00.1+dev => 4.00.2+dev
2013-07-11 16:22 doligez Target Version 4.00.2+dev => 4.01.0+dev
2013-08-19 14:53 doligez Target Version 4.01.0+dev => 4.01.1+dev
2013-12-05 16:02 doligez Tag Attached: patch
2014-05-25 20:20 doligez Target Version 4.01.1+dev => 4.02.0+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker