gistfile1.txt

$ make
<snip>
eval $(opam config env) \
        && /home/yh/tmp/evm-semantics/.build/k/k-distribution/target/release/k/bin/kompile --debug --main-module ETHEREUM-SIMULATION \
                                --syntax-module ETHEREUM-SIMULATION .build/ocaml/driver.k --directory .build/ocaml \
                                --hook-namespaces KRYPTO --gen-ml-only -O3 --non-strict \
        && ocamlfind opt -c .build/ocaml/driver-kompiled/constants.ml -package gmp -package zarith \
        && ocamlfind opt -c -I .build/ocaml/driver-kompiled KRYPTO.ml -package cryptokit -package secp256k1 -package bn128 \
        && ocamlfind opt -a -o semantics.cmxa KRYPTO.cmx \
        && ocamlfind remove ethereum-semantics-plugin \
        && ocamlfind install ethereum-semantics-plugin META semantics.cmxa semantics.a KRYPTO.cmi KRYPTO.cmx \
        && /home/yh/tmp/evm-semantics/.build/k/k-distribution/target/release/k/bin/kompile --debug --main-module ETHEREUM-SIMULATION \
                                --syntax-module ETHEREUM-SIMULATION .build/ocaml/driver.k --directory .build/ocaml \
                                --hook-namespaces KRYPTO --packages ethereum-semantics-plugin -O3 --non-strict \
        && cd .build/ocaml/driver-kompiled \
        && ocamlfind opt -package gmp -package dynlink -package zarith -package str -package uuidm -package unix -package ethereum-semantics-plugin \
                                     -linkpkg -inline 20 -nodynlink -O3 -linkall \
                                     -o interpreter constants.cmx prelude.cmx plugin.cmx parser.cmx lexer.cmx run.cmx interpreter.ml
org.kframework.utils.errorsystem.KEMException: [Error] Critical: Cannot compile KSequence with K variable not at tail.
  while compiling rule at Source(/home/yh/tmp/evm-semantics/./.build/ocaml/driver.k):Location(29,10,29,81)
        Source(/home/yh/tmp/evm-semantics/./.build/ocaml/driver.k)
        Location(29,14,29,18)
        at org.kframework.utils.errorsystem.KEMException.create(KEMException.java:117)
        at org.kframework.utils.errorsystem.KEMException.criticalError(KEMException.java:50)
        at org.kframework.backend.ocaml.DefinitionToOcaml$Visitor.apply(DefinitionToOcaml.java:3041)
        at org.kframework.kore.KVisitor.apply(transformers.scala:81)
        at org.kframework.backend.ocaml.DefinitionToOcaml$Visitor.applyTuple(DefinitionToOcaml.java:2792)
        at org.kframework.backend.ocaml.DefinitionToOcaml$Visitor.apply(DefinitionToOcaml.java:2781)
        at org.kframework.kore.KVisitor.apply(transformers.scala:77)
        at org.kframework.backend.ocaml.DefinitionToOcaml$Visitor.apply(DefinitionToOcaml.java:3060)
        at org.kframework.backend.ocaml.DefinitionToOcaml$Visitor.apply(DefinitionToOcaml.java:3045)
        at org.kframework.kore.KVisitor.apply(transformers.scala:81)
        at org.kframework.backend.ocaml.DefinitionToOcaml$Visitor.applyTuple(DefinitionToOcaml.java:2792)
        at org.kframework.backend.ocaml.DefinitionToOcaml$Visitor.apply(DefinitionToOcaml.java:2781)
        at org.kframework.kore.KVisitor.apply(transformers.scala:77)
        at org.kframework.backend.ocaml.DefinitionToOcaml$Visitor.apply(DefinitionToOcaml.java:3060)
        at org.kframework.backend.ocaml.DefinitionToOcaml$Visitor.apply(DefinitionToOcaml.java:3045)
        at org.kframework.kore.KVisitor.apply(transformers.scala:81)
        at org.kframework.backend.ocaml.DefinitionToOcaml.convertLHS(DefinitionToOcaml.java:2370)
        at org.kframework.backend.ocaml.DefinitionToOcaml.convert(DefinitionToOcaml.java:2299)
        at org.kframework.backend.ocaml.DefinitionToOcaml.writeStepFunction(DefinitionToOcaml.java:1606)
        at org.kframework.backend.ocaml.DefinitionToOcaml.definition(DefinitionToOcaml.java:1395)
        at org.kframework.backend.ocaml.OcamlBackend.accept(OcamlBackend.java:56)
        at org.kframework.kompile.KompileFrontEnd.run(KompileFrontEnd.java:72)
        at org.kframework.main.FrontEnd.main(FrontEnd.java:52)
        at org.kframework.main.Main.runApplication(Main.java:114)
        at org.kframework.main.Main.runApplication(Main.java:104)
        at org.kframework.main.Main.main(Main.java:53)
[Error] Critical: Cannot compile KSequence with K variable not at tail.
  while compiling rule at
Source(/home/yh/tmp/evm-semantics/./.build/ocaml/driver.k):Location(29,10,29,81)
        Source(/home/yh/tmp/evm-semantics/./.build/ocaml/driver.k)
        Location(29,14,29,18)
Makefile:135: recipe for target '.build/ocaml/driver-kompiled/interpreter' failed
make: *** [.build/ocaml/driver-kompiled/interpreter] Error 113
~/tmp/evm-semantics(bug-checker) $ java -version
java version "1.8.0_161"
Java(TM) SE Runtime Environment (build 1.8.0_161-b12)
Java HotSpot(TM) 64-Bit Server VM (build 25.161-b12, mixed mode)