Denis Redozubov

It resolved itself somehow, but it would be interesting to know why. Do PG/company-coq use some kind of lazy recompilation under the hood?

Oops, it "resolved" itself with disabled `company-coq`, basically i still have this problem. Thanks for your response, i need to check it. Also `C-g` was not helping, i'll try `M-x...

@cpitclaudel I've updated PG(i've used github version and it shows 4.4pre in emacs) and tried what you've suggested. Got this error trace from emacs by `C-g`ing out of the evaluation:...

Another thing is: i experience it after `M-x company-coq-tutorial`, but if i load the tutorial file manually with `(add-hook 'coq-mode-hook #'company-coq-mode)` in my `~/.emacs` it works correctly! > Can you...

@cpitclaudel No, that's not what i meant by it! - i have `(add-hook 'coq-mode-hook #'company-coq-mode)` in `.emacs`, then i load emacs and run `company-coq-tutorial`, evaluation goes to the Require Import...

I can reproduce it with `20160222.438`.

Is there a specific need for these configuration parameters in particular? I think I'll try finding the binaries to try downgrading it. I've been following the installation guide and there...

Using it with `0.20.1` bitcoind binary gives me: ``` Collection 'transactions' found. Sending jRPC request: id: 2jup4vl9hhc, method: createwallet Wallet with name sidetreeDefaultWallet already exists. Sending jRPC request: id: rikpk1hr96,...

@coffnix which commit of ion are you using? I'm getting a different error with bitcoind 0.20.1 and ion `master` (`de8b67cb8c1cb5efa89d888e0e23e8a9a632d008`) after removing the `wallet.dat` file and `wallets` folder: ``` Collection...

Yes, you're right there, but fixing this only leads to a different error with `loadwallet`. Is there a ion community chat somewhere?