Task: Implement Code Formatting for MeTTa in LSP Server

[TeamSPoon]

Overview

@jamesnvc has been adding a code formatting feature to our LSP server for the MeTTa language. This task is to continue the ongoing work on implementing a MeTTa-specific formatter that ensures consistent indentation, spacing, and readability while preserving the original semantics of the code.

Task Details

• Continue working on the LSP textDocument/formatting handler.
• Ensure the formatter respects MeTTa syntax and structure.
• Maintain correct handling of comments (;) and expressions.
• Maybe configuration options for formatting preferences if applicable.

Deliverables

• LSP method implementation (textDocument/formatting).
• Properly formatted MeTTa code preserving logic and structure.

This issue is for tracking progress and documenting the feature. 🚀 Keep going!

[jamesnvc]

Currently, the code formatter has the following behaviour:

• trailing whitespace is trimmed
• within a line, force exactly one space between "atoms" (e.g. (foo bar baz) will become (foo bar baz))
• indent is set to two spaces, with each open parenthesis adding one more level
  • except in a let* form, where it is assumed the first line looks like (let* (($a ...) then subsequent variable bindings will be aligned, e.g.

(let* (($a 1)
   ($b 2))
 (+ $a $b))

will be indented to

(let* (($a 1)
       ($b 2))
     (+ $a $b))

• a line ending with an open parenthesis will have the next line joined to it, so

(= (foo) (
+ 1 (* 2 3)))

becomes

(= (foo) (+ 1 (* 2 3)))

• "orphaned" close-parenthesis will be moved up to the previous line recursively, so

(= (foo)
 (+ 1 (* 2 3
    )
 )
)

becomes

(= (foo)
  (+ 1 (* 2 3)))