MantisBT - OCaml
View Issue Details
0007506OCamllexing and parsingpublic2017-03-20 13:342017-04-10 18:38
asai 
frisch 
lowminoralways
resolvedfixed 
AppleMacOS X10.12
4.04.0 
4.06.0 +dev/beta1/beta2/rc1 
0007506: pprintast ignores attributes in tails of a list
Let a.ml be:

let a = ([1; 2])[@hello]
let b = 0::(([1; 2])[@hello])

$ ocamlc -dsource a.ml
let a = (([1; 2])[@hello ])
let b = [0; 1; 2]

where the attribute for [1; 2] in b is ignored. The output for b should be 0::(([1; 2])[@hello ]).
No tags attached.
Issue History
2017-03-20 13:34asaiNew Issue
2017-03-20 14:18gascheNote Added: 0017690
2017-03-20 14:18gascheStatusnew => confirmed
2017-04-10 14:49frischAssigned To => frisch
2017-04-10 14:49frischStatusconfirmed => assigned
2017-04-10 15:06frischNote Added: 0017731
2017-04-10 15:06frischStatusassigned => resolved
2017-04-10 15:06frischFixed in Version => 4.06.0 +dev/beta1/beta2/rc1
2017-04-10 15:06frischResolutionopen => fixed
2017-04-10 17:16gascheNote Added: 0017733
2017-04-10 17:16gascheNote Edited: 0017733bug_revision_view_page.php?bugnote_id=17733#r2990
2017-04-10 17:36frischStatusresolved => assigned
2017-04-10 17:37frischNote Added: 0017734
2017-04-10 18:23frischNote Added: 0017735
2017-04-10 18:38frischStatusassigned => resolved

Notes
(0017690)
gasche   
2017-03-20 14:18   
I could reproduce under the 4.05 branch and trunk.
(0017731)
frisch   
2017-04-10 15:06   
Fixed by commit 73227bad1a13e2166dc9d743783724dba2c07de9 on trunk.
(0017733)
gasche   
2017-04-10 17:16   
I found 6 more instances of the bug pattern, pointed out in the comments in

  https://github.com/ocaml/ocaml/commit/73227bad1a13e2166dc9d743783724dba2c07de9 [^]

(0017734)
frisch   
2017-04-10 17:37   
Thanks Gabriel. Reopening.
(0017735)
frisch   
2017-04-10 18:23   
d26c29851c0bc787b5228c4f8118fbe0f796c939 fixes those other similar cases.