Wrong structure on let b = 1 = 1 in (OCaml)

[nahoj]

plugin version: 0.111-2023.1

Description

This code is parsed into the wrong structure:

let f () =
  let b : bool = 1 = 1 in
  let x = 0 in
  x

• test.ml
  • f
    • b
  • x

[nahoj]

However, parentheses fix it:

let f () =
  let b : bool = (1 = 1) in
  let x = 0 in
  x

• test.ml
  • f
    • b
    • x

[giraud]

Fixed in 0.112

[nahoj]

It looks like the fix doesn't support general expressions, e.g.:

let f () =
  let b : bool = ignore () = () in
  let x = 0 in
  x

• test.ml
  • f
    • b
  • x

Thank you for all the other fixes; that was fast!

[giraud]

@nahoj can you test with 0.113 please ?

[nahoj]

It works on the previous example, but not on this one:

let f () =
  let b : bool = ignore "" = () in
  let x = 0 in
  x

[giraud]

It should be ok in 0.115

[nahoj]

Thank you.