LSP auto-format breaks handle definitions

[andreystepanov]

Quick example to reproduce it:

ability Counter where
  next : {Counter} Nat

Counter.impl value request = 
  match request with
    { result }  -> result
    { next -> resume } -> 
      handle resume value with Counter.impl (value + 1)

countFrom n f = do
  handle !f with Counter.impl n

Gets formatted into:

ability Counter where next : {Counter} Nat

Counter.impl value = cases
  { result }         -> result
  { next -> resume } -> handle resume value with Counter.impl (value Nat.+ 1) with Counter.impl (value + 1)

countFrom n f = do handle !f with impl n with Counter.impl n

And ucm error is:

  Loading changes detected in ~/dev/scratch.u.                                                            
                                                                
  I found a closing 'with' here without a matching 'handle' or 'match'.                                                              
      5 |   { next -> resume } -> handle resume value with Counter.impl (value Nat.+ 1) with Counter.impl (value + 1)                                                

[ChrisPenner]

I believe I fixed this one here: #4671, so try pulling the latest release and feel free to re-open if it's still an issue 🎉

Thanks for the report and reproduction though!

[andreystepanov]

Oh, my bad, sorry.

After upgrading it's no longer an issue. Thanks!