We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
juvix format
else
Reproduced using the latest nightly build.
This bug was introduced since the 0.6.3 release, possibly in #2852
Consider a module that contains multiway if syntax:
module Bug; import Stdlib.Prelude open; a : Nat := if | true := 1 | else := 2;
and run juvix format --inplace, the following is the result:
juvix format --inplace
module Bug; import Stdlib.Prelude open; a : Nat := if | true := 1 else := 2;
and this does not typecheck:
$ juvix typecheck Bug.juvix /private/tmp/Bug.juvix:8:9: error: /private/tmp/Bug.juvix:8:9: | 8 | else := 2; | ^ expecting |
The text was updated successfully, but these errors were encountered:
Stdlib.Data.Result
find
Stdlib.Data.List
424ad6e
janmasrovira
Successfully merging a pull request may close this issue.
Reproduced using the latest nightly build.
This bug was introduced since the 0.6.3 release, possibly in #2852
Consider a module that contains multiway if syntax:
and run
juvix format --inplace
, the following is the result:and this does not typecheck:
The text was updated successfully, but these errors were encountered: