Formater should have a continuation indent

[seebees]

Dafny version

4.0

Code to produce this issue

const x :=
  set
    i <-
      PartA +
      PartB +
      PartC,
    j <-
      PartD
    ::
      f(i,j)

const x :=
  set i <-
    PartA +
    PartB +
    PartC,
      j <-
    PartD
    ::
      f(i,j)

What happened?

The indentation of the collection set is lost:

const x :=
  set
    i <-
    PartA +
    PartB +
    PartC,
    j <-
    PartD
    ::
      f(i,j)

const x :=
  set i <-
    PartA +
    PartB +
    PartC,
      j <-
      PartD
    ::
      f(i,j)

Note the continuation indentation:

set
  someTotalSet <-
    PartA +
    PartB +
    PartC
  ::

it may be that the standard would be to indent to the <-.
That is fine too, provided if I moved <- down it would get indented correctly.
(it does not)

What type of operating system are you experiencing the problem on?

Mac