A problem in formatter

[valis]

Pressing enter in the following code sends the expression to the beginning of the line.

\module M \where {
  \func foo (x : Nat) : Nat => {-caret-}\case x \with { | 0 => 0 | suc n => n }
}