Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0007506OCamllexing and parsingpublic2017-03-20 13:342017-04-10 18:38
Reporterasai 
Assigned Tofrisch 
PrioritylowSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
PlatformAppleOSMacOS XOS Version10.12
Product Version4.04.0 
Target VersionFixed in Version4.06.0+dev 
Summary0007506: pprintast ignores attributes in tails of a list
DescriptionLet 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 ]).
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0017690)
gasche (developer)
2017-03-20 14:18

I could reproduce under the 4.05 branch and trunk.
(0017731)
frisch (developer)
2017-04-10 15:06

Fixed by commit 73227bad1a13e2166dc9d743783724dba2c07de9 on trunk.
(0017733)
gasche (developer)
2017-04-10 17:16
edited on: 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 (developer)
2017-04-10 17:37

Thanks Gabriel. Reopening.
(0017735)
frisch (developer)
2017-04-10 18:23

d26c29851c0bc787b5228c4f8118fbe0f796c939 fixes those other similar cases.

- Issue History
Date Modified Username Field Change
2017-03-20 13:34 asai New Issue
2017-03-20 14:18 gasche Note Added: 0017690
2017-03-20 14:18 gasche Status new => confirmed
2017-04-10 14:49 frisch Assigned To => frisch
2017-04-10 14:49 frisch Status confirmed => assigned
2017-04-10 15:06 frisch Note Added: 0017731
2017-04-10 15:06 frisch Status assigned => resolved
2017-04-10 15:06 frisch Fixed in Version => 4.06.0+dev
2017-04-10 15:06 frisch Resolution open => fixed
2017-04-10 17:16 gasche Note Added: 0017733
2017-04-10 17:16 gasche Note Edited: 0017733 View Revisions
2017-04-10 17:36 frisch Status resolved => assigned
2017-04-10 17:37 frisch Note Added: 0017734
2017-04-10 18:23 frisch Note Added: 0017735
2017-04-10 18:38 frisch Status assigned => resolved


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker