pprintast ignores attributes in tails of a list

[vicuna]

Original bug ID: 7506
Reporter: @kenichi-asai
Assigned to: @alainfrisch
Status: resolved (set by @alainfrisch on 2017-04-10T16:38:12Z)
Resolution: fixed
Priority: low
Severity: minor
Platform: Apple
OS: MacOS X
OS Version: 10.12
Version: 4.04.0
Fixed in version: 4.06.0 +dev/beta1/beta2/rc1
Category: lexing and parsing

Bug description

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

[vicuna]

Comment author: @gasche

I could reproduce under the 4.05 branch and trunk.

[vicuna]

Comment author: @alainfrisch

Fixed by commit 73227ba on trunk.

[vicuna]

Comment author: @gasche

I found 6 more instances of the bug pattern, pointed out in the comments in

73227ba

[vicuna]

Comment author: @alainfrisch

Thanks Gabriel. Reopening.

[vicuna]

Comment author: @alainfrisch

d26c298 fixes those other similar cases.