Autoformatter tests about smlfmt HOT 4 CLOSED

haha yes one of these days we'll have to implement the type system!

from smlfmt.

Yes, this would be extremely useful! Definitely want to work on this. (Hopefully, the linter could recognize type-driven issues, too.)

from smlfmt.

We could also develop a linter, which doesn't modify code but rather just outputs suggestions for better style. Then we could use the linter to check the output of the formatter.

The linter would of course be separately useful on its own.

An example of something the linter could check is: make sure all declarations in a sequence appear at the same indentation level. Similarly, case branches, function clauses, etc. (Some exceptions here for flattened code, e.g. let ... in ... end all in one line.)

from smlfmt.

As of #77, we have a flag --check which checks for token-preservation, comment-preservation, and idempotence. (I've found a few edge cases where idempotence is not preserved, so one of the next things will be to fix that.)

from smlfmt.