search

grayswandyr / electrod

Formal analysis for the Electrod formal specification language
Other
13 stars 4 forks source link

Electrod fails to build #3

Closed asmyers closed 5 years ago

asmyers commented 5 years ago

When installing electrod with opam version 2.0.5 and compiler version 4.07.0 electrod fails to build with the following error:

[ERROR] The compilation of electrod failed at "/Users/amyers/.opam/opam-init/hooks/sandbox.sh build dune build -p electrod -j 7".

#=== ERROR while compiling electrod.0.2.1 =====================================#
# context     2.0.5 | macos/x86_64 | ocaml-base-compiler.4.07.0 | https://opam.ocaml.org#fe7287db
# path        ~/.opam/4.07.0/.opam-switch/build/electrod.0.2.1
# command     ~/.opam/opam-init/hooks/sandbox.sh build dune build -p electrod -j 7
# exit-code   1
# env-file    ~/.opam/log/electrod-93799-c706d3.env
# output-file ~/.opam/log/electrod-93799-c706d3.out
### output ###
#       ocamlc src/.libelectrod.objs/byte/libelectrod__Fmtc.{cmi,cmo,cmt} (exit 2)
# (cd _build/default && /Users/amyers/.opam/4.07.0/bin/ocamlc.opt -w -40 -g -bin-annot -I src/.libelectrod.objs/byte -I /Users/amyers/.opam/4.07.0/lib/base -I /Users/amyers/.opam/4.07.0/lib/base/caml -I /Users/amyers/.opam/4.07.0/lib/base/shadow_stdlib -I /Users/amyers/.opam/4.07.0/lib/bytes -I /Users/amyers/.opam/4.07.0/lib/containers -I /Users/amyers/.opam/4.07.0/lib/containers/data -I /Users[...]
# File "src/Fmtc.ml", line 22, characters 4-8:
# Error: The type of this expression, '_weak1 t,
#        contains type variables that cannot be generalized
grayswandyr commented 5 years ago

Hi yes I have a fix that I'll apply very soon.

grayswandyr commented 5 years ago

Fixed in https://github.com/ocaml/opam-repository/pull/14878