Anton Trunov

In case that's of interest to anyone, here is a workaround by @volodeyka: ```coq From QuickChick Require Import QuickChick. Inductive binop : Type := | Op1 | Op2 | Op3...

I'm experiencing this same issue. I tried on a minimal Emacs configuration, the one recommended by PG's website: ```elisp (require 'package) (let* ((no-ssl (and (memq system-type '(windows-nt ms-dos)) (not (gnutls-available-p))))...

Out of curiosity -- if that function is unconditionally slow, why does the slowdown happen *only* if a large chunk of a big file is typechecked?

Looks like this issue has been fixed: the `to` is highlighted.

Yes, this definitely works. Looking forward to the v1.8 release!

Related issue: #788

FWIW, Solidity does not allow contracts to iterate over the keys of a mapping.

Speaking of the pure fragment of Scilla, we could expose the underlying OCaml map fold as a primitive. Btw, this would allow us to retire `builtin to_list` as this one...

Right, citing the OCaml manual: > If the hash table was created in non-randomized mode, the order in which the bindings are enumerated is reproducible between successive runs of the...

Looks like at least part of this issue is being handled by PR https://github.com/Zilliqa/scilla/pull/696