Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Token += can no longer be used in expression #6397
Original bug ID: 6397
With the trunk version, the following code no longer compiles.
let (+=) 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.