Unable to make `solidity-flycheck-solc` work

[avatar-lavventura]

I am unable to make solidity-flycheck-solc work. I am not sure what I am doing wrong.

$ solc --version
solc, the solidity compiler commandline interface
Version: 0.6.0+commit.26b70077.Darwin.appleclang
$ which solc
/usr/local/bin/solc

---

I have following setup in .emacs file:

(require 'flycheck)
(setq solidity-solc-path "/usr/local/bin/solc")
(require 'solidity-flycheck)
(require 'solidity-mode)
(setq flycheck-solidity-solc-addstd-contracts t)
(setq solidity-flycheck-solc-checker-active t)

(custom-set-variables
 '(package-selected-packages
   (quote
    (solidity-flycheck solidity-mode use-package flymake-python-pyflakes flycheck undo-tree jedi dumb-jump))))

(add-hook 'after-init-hook #'global-flycheck-mode)

=> flycheck-verify-setup and this is what I got:

Syntax checkers for buffer eBlocBroker.sol in solidity-mode:

There are no syntax checkers for this buffer!

Flycheck Mode is enabled.  Use C-u C-c ! x to enable disabled
checkers.

--------------------

Flycheck version: 31
Emacs version:    26.3
System:           x86_64-apple-darwin19.0.0
Window system:    nil

[LefterisJP]

Hey @avatar-lavventura you need to add a

(require 'solidity-flycheck)

before

(require 'solidity-mode)

as per the readme.

Does this solve your problem? Remember to re-byte-compile any files before trying again.

[avatar-lavventura]

I have done it but it did'nt solve the problem :( Is there anything else I can try?

[LefterisJP]

Did you make sure to byte recompile your emacs .el files? With M-x flycheck-select-checker do you see the solidity-checker in there? If not then that mean that for some reason the 'solidity-flycheck module is not loaded. Any errors in your *Messages* buffer?

[avatar-lavventura]

M-x package install 'solidity-flycheck' installs version 0.1.0.

I have install everything from scratch but still flycheck does not work:

=> flycheck-verify-setup and this is what I got:

Syntax checkers for buffer eBlocBroker.sol in solidity-mode:

  solium-checker
    - may enable: yes
    - predicate:  t
    - executable: Found at /Users/alper/.npm-packages/bin/solium

  solidity-checker
    - may enable: yes
    - predicate:  t
    - executable: Found at /usr/local/bin/solc

Flycheck Mode is enabled.  Use C-u C-c ! x to enable disabled
checkers.

--------------------

Flycheck version: 31
Emacs version:    26.3
System:           x86_64-apple-darwin19.0.0
Window system:    nil

Final setup:

(require 'flycheck)
;; (el-get 'solidity-flycheck)
(load "solidity-flycheck")

(setq solidity-solium-path "/Users/alper/.npm-packages/bin/solium")
(setq solidity-solc-path "/usr/local/bin/solc") ;; This better be set before requiring solidity mode.


(add-to-list 'flycheck-checkers 'solidity-checker)
(add-to-list 'flycheck-checkers 'solium-checker)

(setq flycheck-solidity-solc-addstd-contracts t)
(setq solidity-flycheck-solc-checker-active t)
(setq solidity-flycheck-solium-checker-active t)

(load "solidity-mode")

[LefterisJP]

You don't need to use (load ...). `(require ...) is better for this.

And are you 100% sure it's not activated? You got both activated judging from the pasted output of flycheck-verify-setup.

Why are you adding them manually to the flycheck checkers? If you got the (setq solidity-flycheck-solc-checker-active t) before requiring solidity flycheck, then that should be done automatically. And also the callback to run flycheck with that checker in .sol files.

Here take a look at my configuraiton:

https://github.com/LefterisJP/.emacs/blob/ccec8c5e33c1afc4755dd2cd11f1a8d9572fe1e4/el-get-user/init_files/init-solidity-mode.el#L6-L20

[avatar-lavventura]

I work on .sol files like emacs -nw Test.sol.

On both approaches, solidity-mode works where the font color changes. But flycheck does not work like it does on python files.

In order to check activated, I typed uin foo or change keywords inside my .sol file, where there was no warning message generated, or their color changes to red or yellow.

I have tried two different approach.


M-x => package-install => solidity-mode
M-x => package-install => solidity-flychecker
Installs into /elpha/solidity-flycheck-0.1.9, but the file's version shows up as 0.1.0. So in this approach flycheck does not work.

I removed solidity-* files under /elpha/. Then I install through el-get, so it installs into el-get/solidity-mode where when I try to use (require ...) I get an error where it cannot find the file, so I use (load ...).

I get this message when I use requre: Cannot open load file: No such file or directory, solidity-common // but solidity-common exist under el-get/solidity-mode.

---

This I what I get when I use your configuration:

Syntax checkers for buffer eBlocBroker.sol in solidity-mode:

  solidity-checker
    - may enable: yes
    - predicate:  t
    - executable: Found at /usr/local/bin/solc


The following syntax checkers are not registered:

  - solium-checker

Try adding these syntax checkers to `flycheck-checkers'.  Flycheck
Mode is disabled.  Use C-u M-x flycheck-disable-checker to enable
disabled checkers.

--------------------

Flycheck version: 31
Emacs version:    26.3
System:           x86_64-apple-darwin19.0.0
Window system:    nil

[LefterisJP]

If you see solidity-checker when you do flycheck-verify-setup it means that it's activated and loaded from solidity-mode side.

If it does not work for your from that point on I don't know what could be wrong. Perhaps something is wrong with your flycheck setup.

[avatar-lavventura]

I can see solidity-checker. I didn't change any flycheck setup :/

I added following line as well which didn't help (add-hook 'after-init-hook #'global-flycheck-mode)

[avatar-lavventura]

Seems like working for only Stack too deep, but sees solidity-checker as not the recent version:

Suspicious state from syntax checker solidity-checker: Flycheck checker solidity-checker returned non-zero exit code 1, but its output contained no errors: Compiler error: Stack too deep, try removing local vari\
ables.
   --> /Users/alper/eBlocBroker/contract/contracts/flycheck_eBlocBroker.sol:208:111:
    |
208 |  ... .jobID].mul(args.executionDuration[args.jobID])).add(info.priceDataTransfe ...
    |                                         ^^^^


Try installing a more recent version of solidity-checker, and please open a bug report if the issue persists in the latest release.  Thanks!

[LefterisJP]

@avatar-lavventura Solidity checker essentially calls solc and tries to see what errors that returns. Some times only one error is returned so that's what the solidity checker will show you. Once you fix it then more errors will be shown.

But from your report I see that there may be a problem of parsing the results of solc compile for your case.

Can you tell me what version of solc you are using and add here the .sol file you are compiling? This way I can debug it and see what's wrong.

[avatar-lavventura]

$ solc --version
solc, the solidity compiler commandline interface
Version: 0.6.0+commit.26b70077.Darwin.appleclang

---

=> Also does it able to do style check (https://solidity.readthedocs.io/en/v0.6.0/style-guide.html) like Python does for PEP 8?

[LefterisJP]

@avatar-lavventura I also need the solidity file that is throwing this error.

No style checks. I think the solium tool does style checks. But I have not used it myself.

[avatar-lavventura]

=> solium tool also does not work :(

Here is a simple example:

pragma solidity ^0.6.0;

contract Test {
    mapping(address => bytes32) public Countries;

	function get()
	external
	view
	returns (uint)
    {
     	uint a = 299;
	uint b = 150;
	uint c;
	uint c1;
	uint c2;
        uint c3;
	uint c4;
	uint c5;
        uint c6;
        uint c7;
        uint c8;
        uint c9;
        uint c10;
        uint c11;
        uint c12;
        uint c13;

	return a / b;

    }

}

Error message:

Suspicious state from syntax checker solidity-checker: Flycheck checker solidity-checker returned non-zero exit code 1, but its output contained no errors: Compiler error: Stack too deep, try removing local vari\
ables.
  --> /Users/alper/eBlocBroker/contract/contracts/flycheck_Test.sol:28:14:
   |
28 |            return a / b;
   |                   ^


Try installing a more recent version of solidity-checker, and please open a bug report if the issue persists in the latest release.  Thanks!

[LefterisJP]

@avatar-lavventura All right I can hopefully fix this error. I tried it in my setup and it is reproducible. The error is due to changes in the way the output is done in solc versions <= 0.6.1.

The first is from solc 0.6.1 and the second from solc 0.5.7:

The solidity mode flychecker integration expects the output to be in the first 0.5.7 way.

Give me some time. This is something I can help you with and fix.

[avatar-lavventura]

Thank you @LefterisJP . There is no rush so please take your time.

=> Does solium style check works on your end? When this error is fixed, would it also let solium style checks to be work?