Jan Mas Rovira
Jan Mas Rovira
This pr updates the version of ormolu to 0.7.4.0. Moreover, we drop the `mrkkrp/ormolu-action` github action. Instead, we invoke the ormolu version that is in the stackage snapshot selected in...
It was communicated by @cwgoes that we should remove the current VampIR support from the codebase. - Related to https://github.com/anoma/juvix/issues/2807
It was communicated by @cwgoes that we should remove the current GEB support from the codebase. - Related to https://github.com/anoma/juvix/issues/2807
In the ci we are running ormolu 0.5.3. Since then, there have been a number of [releases](https://hackage.haskell.org/package/ormolu-0.7.7.0/changelog). If we were to update now, we could use the version 0.7.4, which...
The first version should include: 1. Go to definition. 2. Semantic highlighting.
At the moment the last `;` is optional and the formatter removes it. We've received some feedback that it would be more practical if the formatter always inserted the last...
running `juvix typecheck` in `~/.config/juvix/0.6.3/package-base` results in: ``` juvix: /home/jan/.config/juvix/0.6.3/package-base/juvix.yaml: withBinaryFile: does not exist (No such file or directo ry) ``` Trying to typecheck any individual file fails with the...
I think that it might be more intuitive to have the `--non-interactive` behaviour as the default and instead have an `--interactive flag`.