Make pexp_attributes mutable

cknitt · cknitt · commit 94329ca6ddc5 · 2024-11-02T09:25:06.000+01:00
diff --git a/compiler/ml/parsetree.ml b/compiler/ml/parsetree.ml
@@ -210,7 +210,8 @@ and pattern_desc =
 and expression = {
   pexp_desc: expression_desc;
   pexp_loc: Location.t;
-  pexp_attributes: attributes; (* ... [@id1] [@id2] *)
+  (* Hack: made pexp_attributes mutable for use in analysis exe. Please do not use elsewhere! *)
+  mutable pexp_attributes: attributes; (* ... [@id1] [@id2] *)
 }
 
 and expression_desc =

Original file line number	Diff line number	Diff line change
`@@ -210,7 +210,8 @@ and pattern_desc =`
`210`	`210`	`and expression = {`
`211`	`211`	`pexp_desc: expression_desc;`
`212`	`212`	`pexp_loc: Location.t;`
`213`		`- pexp_attributes: attributes; (* ... [@id1] [@id2] *)`
	`213`	`+ (* Hack: made pexp_attributes mutable for use in analysis exe. Please do not use elsewhere! *)`
	`214`	`+ mutable pexp_attributes: attributes; (* ... [@id1] [@id2] *)`
`214`	`215`	`}`
`215`	`216`
`216`	`217`	`and expression_desc =`