Zulip Chat Archive

Stream: general

Topic: linter error

Damiano Testa (Jan 21 2022 at 11:16):

In #11580, the linter gives the error below. I am having a hard time figuring out how to fix the error, though. Any help is greatly appreciated!

Run ./scripts/lint-style.sh
  ./scripts/lint-style.sh
  shell: /usr/bin/bash -e {0}
  env:
    pythonLocation: /opt/hostedtoolcache/Python/3.8.12/x64
    LD_LIBRARY_PATH: /opt/hostedtoolcache/Python/3.8.12/x64/lib
+ touch scripts/style-exceptions.txt
+ find src archive counterexamples -name '*.lean'
+ xargs ./scripts/lint-style.py
Warning: WRN_BRC: Probable misformatting of curly braces
Error: Process completed with exit code 123.

Eric Wieser (Jan 21 2022 at 11:19):

Perhaps makes more sense in context: https://github.com/leanprover-community/mathlib/pull/11580/files#diff-665edb5af8ad838c96933d1ed139b941c4153373ba36e86c8aa8ff927e578851R645

Eric Wieser (Jan 21 2022 at 11:19):

It's telling you to move the { after the word by to the next line, I think

Damiano Testa (Jan 21 2022 at 11:20):

ah, thanks! I did not know how to see the error in context. I now know what to fix, thanks!

Damiano Testa (Jan 21 2022 at 11:24):

Eric, your analysis was perfect: I moved the brace and now the linter is happy again! Thank you so much!

Notification Bot (Jan 21 2022 at 11:24):

Damiano Testa has marked this topic as resolved.

Notification Bot (Jan 21 2022 at 11:56):

Damiano Testa has marked this topic as unresolved.

Damiano Testa (Jan 21 2022 at 11:58):

Sorry about continuing this thread and for being unable to fix my issues. I now have an error, but, when I open the report, leanpkg build hangs with the yellow rotating circle and does not actually display what the error is. I tried opening the page several times and refreshing, but it keeps hanging... any ideas what is the problem?

Thanks!

Eric Rodriguez (Jan 21 2022 at 12:04):

I was going to say this is when the build is wrapping up, but it seems not... I tried restarting the run to see if it will fail properly

Damiano Testa (Jan 21 2022 at 12:07):

What a weird situation to be in "restarting some checks so that they can really fail"...

Damiano Testa (Jan 21 2022 at 13:45):

... what a disappointment: the checks did not fail! :face_palm:

Last updated: Dec 20 2023 at 11:08 UTC