Original bug ID: 6397
Reporter: gmelquiond
Assigned to: @lpw25
Status: closed (set by @xavierleroy on 2015-12-11T18:26:49Z)
Resolution: fixed
Priority: normal
Severity: minor
Fixed in version: 4.02.0+dev
Category: ~DO NOT USE (was: OCaml general)

Bug description

With the trunk version, the following code no longer compiles.

let (+=) a b = ()
let f a b = a += b

I understand that token += is now used for open types, but I am not sure if the syntax change for expressions is intended or just an oversight. If the former, I suggest to document it (sorry if it is and I missed it). This issue was reported to us since it breaks the compilation of Why3 for some users.

File attachments

• plus-eq.patch