Fix topCommandInputFile for Format command

[vrom911]

Thanks to @paulcadman , we figured out that the behaviour of the format command described in issue #2058 was due to the way the uniplates library was handling the FormatOptions. As FormatOption doesn't have the AppPath FileOrDir, it was not set up to anything, therefore, the directory was not properly set.

This change, instead of changing the FormatOptions data type to have some AppPath *, it just adds the special case on how to handle this specific command to figure out its input directory.

For the future, we might think of either refactoring the whole uniplates logic, or handling each command the way that I am handling the format command at the moment, so it is more explicit and consistent.

Let me know what you think!

• Fixes Format subcommand does not handle (relative) paths correctly #2058

Type of change

• Bug fix (non-breaking change which fixes an issue)

Checklist:

• My code follows the style guidelines of this project
• I have made corresponding changes to the documentation
• My changes generate no new warnings
• I have added tests that prove my fix is effective or that my feature works:
  • Negative tests
  • Positive tests
  • Shell tests

[jonaprieto]

• Add a smoke test that reflects that the issue is fixed. At leat, I didn't find it. For example, checking something like this gives a 0 exit code.

juvix format --in-place examples/milestone/TicTacToe/CLI/TicTacToe.juvix