ocaml-toml / To.ml

OCaml library for TOML
https://ocaml-toml.github.io/To.ml
Other
82 stars 20 forks source link

Error when installing with opam #78

Closed zzaba closed 2 years ago

zzaba commented 2 years ago

I ran opam install toml and got:

#=== ERROR while compiling toml.7.0.0 =========================================#
# context     2.1.0 | linux/x86_64 | ocaml-base-compiler.4.09.0 | https://opam.ocaml.org#f00176f2
# path        ~/.opam/4.09.0/.opam-switch/build/toml.7.0.0
# command     ~/.opam/opam-init/hooks/sandbox.sh build dune build -p toml -j 7 @install
# exit-code   1
# env-file    ~/.opam/log/toml-22531-0a5741.env
# output-file ~/.opam/log/toml-22531-0a5741.out
### output ###
# [...]
# 254 |          in
# 255 |         (_menhir_goto_array_start _menhir_env _menhir_stack _menhir_s _v : 'freshtv354)) : 'freshtv356)
# 256 |     | _ ->
# 257 |         _menhir_fail ()
# Error: This definition has type
#          'ttv_tail.
#            _menhir_env ->
#            'ttv_tail -> _menhir_state -> Toml.Types.array list -> 'freshtv352
#        which is less general than
#          'ttv_tail 'ttv_return.
#            _menhir_env ->
#            'ttv_tail -> _menhir_state -> Toml.Types.array list -> 'ttv_return

<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
┌─ The following actions failed
│ λ build toml 7.0.0
└─
╶─ No changes have been performed

contents of ~/.opam/log/toml-22531-0a5741.env:

ALACRITTY_LOG=/tmp/Alacritty-6512.log
BROWSER=firefox
CAML_LD_LIBRARY_PATH=/home/zaba/.opam/4.09.0/lib/stublibs:/home/zaba/.opam/4.09.0/lib/ocaml/stublibs:/home/zaba/.opam/4.09.0/lib/ocaml
CASROOT=/usr
CDPATH=
COLORTERM=truecolor
CSF_DrawPluginDefaults=/usr/share/opencascade/resources/DrawResources
CSF_EXCEPTION_PROMPT=1
CSF_IGESDefaults=/usr/share/opencascade/resources/XSTEPResource
CSF_LANGUAGE=us
CSF_MDTVTexturesDirectory=/usr/share/opencascade/resources/Textures
CSF_MIGRATION_TYPES=/usr/share/opencascade/resources/StdResource/MigrationSheet.txt
CSF_OCCTResourcePath=/usr/share/opencascade/resources
CSF_PluginDefaults=/usr/share/opencascade/resources/StdResource
CSF_SHMessage=/usr/share/opencascade/resources/SHMessage
CSF_STEPDefaults=/usr/share/opencascade/resources/XSTEPResource
CSF_ShadersDirectory=/usr/share/opencascade/resources/Shaders
CSF_StandardDefaults=/usr/share/opencascade/resources/StdResource
CSF_StandardLiteDefaults=/usr/share/opencascade/resources/StdResource
CSF_TObjDefaults=/usr/share/opencascade/resources/StdResource
CSF_TObjMessage=/usr/share/opencascade/resources/TObj
CSF_XCAFDefaults=/usr/share/opencascade/resources/StdResource
CSF_XSMessage=/usr/share/opencascade/resources/XSMessage
CSF_XmlOcafResource=/usr/share/opencascade/resources/XmlOcafResource
DISPLAY=:0
DOCKER_CONFIG=/home/zaba/.config/docker
DOTNET_CLI_TELEMETRY_OPTOUT=true
DOTNET_ROOT=/home/zaba/.local/share/dotnet
DRAWDEFAULT=/usr/share/opencascade/resources/DrawResources/DrawDefault
DRAWHOME=/usr/share/opencascade/resources/DrawResources
EDITOR=micro
GOBIN=/home/zaba/go/bin
GOPATH=/home/zaba/go
HOME=/home/zaba
INPUTRC=/home/zaba/.config/readline/inputrc
JAVA_HOME=/usr/lib/jvm/java-1.8-openjdk/jre
LANG=en_US.UTF-8
LC_COLLATE=C
LESSHISTFILE=-
LESSKEY=/home/zaba/.config/less/lesskey
LOGNAME=zaba
LS_COLORS=no=00:fi=00:di=01;34:ln=01;36:pi=40;33:so=01;35:do=01;35:bd=40;33;01:cd=40;33;01:or=40;31;01:mi=01;05;37;41:su=37;41:sg=30;43:ca=30;41:tw=30;42:ow=34;42:st=37;44:ex=01;32:*.tar=01;31:*.tgz=01;31:*.svgz=01;31:*.arj=01;31:*.taz=01;31:*.lzh=01;31:*.lzma=01;31:*.zip=01;31:*.z=01;31:*.Z=01;31:*.dz=01;31:*.gz=01;31:*.bz2=01;31:*.tbz2=01;31:*.bz=01;31:*.tz=01;31:*.deb=01;31:*.rpm=01;31:*.jar=01;31:*.rar=01;31:*.ace=01;31:*.zoo=01;31:*.cpio=01;31:*.7z=01;31:*.rz=01;31:*.jpg=01;35:*.jpeg=01;35:*.gif=01;35:*.bmp=01;35:*.pbm=01;35:*.pgm=01;35:*.ppm=01;35:*.tga=01;35:*.xbm=01;35:*.xpm=01;35:*.tif=01;35:*.tiff=01;35:*.png=01;35:*.mng=01;35:*.pcx=01;35:*.mov=01;35:*.mpg=01;35:*.mpeg=01;35:*.m2v=01;35:*.mkv=01;35:*.ogm=01;35:*.mp4=01;35:*.m4v=01;35:*.mp4v=01;35:*.vob=01;35:*.qt=01;35:*.nuv=01;35:*.wmv=01;35:*.asf=01;35:*.rm=01;35:*.rmvb=01;35:*.flc=01;35:*.avi=01;35:*.fli=01;35:*.gl=01;35:*.dl=01;35:*.xcf=01;35:*.xwd=01;35:*.yuv=01;35:*.svg=01;35:*.aac=00;36:*.au=00;36:*.flac=00;36:*.mid=00;36:*.midi=00;36:*.mka=00;36:*.mp3=00;36:*.mpc=00;36:*.ogg=00;36:*.ra=00;36:*.wav=00;36:
MACHINE_STORAGE_PATH=/home/zaba/.local/share/docker-machine
MAIL=/var/mail/zaba
MAKEFLAGS=
MAKELEVEL=
MANPATH=:/home/zaba/.opam/4.09.0/man
MMGT_CLEAR=1
MOTD_SHOWN=pam
MOZ_PLUGIN_PATH=/usr/lib/mozilla/plugins
MPD_HOST=localhost
OCAML_TOPLEVEL_PATH=/home/zaba/.opam/4.09.0/lib/toplevel
OLDPWD=/home/zaba/hack
OPAMCLI=2.0
OPAMROOT=/home/zaba/.opam
OPAMSWITCH=4.09.0
OPAM_PACKAGE_NAME=toml
OPAM_PACKAGE_VERSION=7.0.0
OPAM_SWITCH_PREFIX=/home/zaba/.opam/4.09.0
PAGER=less
PATH=/home/zaba/.opam/4.09.0/bin:/home/zaba/perl5/bin:/home/zaba/.local/bin:/usr/local/bin:/bin:/usr/bin:/usr/local/sbin:/usr/sbin:/sbin:/usr/lib/plan9/bin:/home/zaba/.local/share/dotnet:/home/zaba/go/bin
PERL5LIB=/home/zaba/perl5/lib/perl5
PERL_LOCAL_LIB_ROOT=/home/zaba/perl5
PERL_MB_OPT=--install_base "/home/zaba/perl5"
PERL_MM_OPT=INSTALL_BASE=/home/zaba/perl5
PKG_CONFIG_PATH=/home/zaba/.opam/4.09.0/lib/pkgconfig
PLAN9=/usr/lib/plan9
PWD=/home/zaba/.local/src/comby
SHELL=/bin/bash
SHLVL=1
SVDIR=/home/zaba/.local/service
TERM=alacritty
TZ=
USER=zaba
WINDOWID=20971522
WINDOWPATH=1
XAUTHORITY=/tmp/Xauthority
XDG_CACHE_HOME=/home/zaba/.cache
XDG_CONFIG_HOME=/home/zaba/.config
XDG_DATA_HOME=/home/zaba/.local/share
XDG_RUNTIME_DIR=/tmp
XINITRC=/home/zaba/.config/X11/xinitrc
XSERVERRC=/home/zaba/.config/X11/xserverrc
_=/bin/opam
_JAVA_AWT_WM_NONREPARENTING=1

contents of ~/.opam/log/toml-22531-0a5741.out:

      ocamlc src/.toml.objs/byte/toml__Menhir_parser.{cmo,cmt} (exit 2)
(cd _build/default && /home/zaba/.opam/4.09.0/bin/ocamlc.opt -w -40 -g -bin-annot -I src/.toml.objs/byte -I src/.toml.objs/public_cmi -I /home/zaba/.opam/4.09.0/lib/ISO8601 -intf-suffix .ml -no-alias-deps -open Toml -o src/.toml.objs/byte/toml__Menhir_parser.cmo -c -impl src/menhir_parser.ml)
File "src/menhir_parser.ml", lines 194-257, characters 2-23:
194 | ..fun _menhir_env _menhir_stack _menhir_s _v ->
195 |     match _menhir_s with
196 |     | MenhirState82 ->
197 |         let (_menhir_env : _menhir_env) = _menhir_env in
198 |         let (_menhir_stack : (('freshtv351 * _menhir_state)) * _menhir_state * (
...
254 |          in
255 |         (_menhir_goto_array_start _menhir_env _menhir_stack _menhir_s _v : 'freshtv354)) : 'freshtv356)
256 |     | _ ->
257 |         _menhir_fail ()
Error: This definition has type
         'ttv_tail.
           _menhir_env ->
           'ttv_tail -> _menhir_state -> Toml.Types.array list -> 'freshtv352
       which is less general than
         'ttv_tail 'ttv_return.
           _menhir_env ->
           'ttv_tail -> _menhir_state -> Toml.Types.array list -> 'ttv_return
    ocamlopt src/.toml.objs/native/toml__Menhir_parser.{cmx,o} (exit 2)
(cd _build/default && /home/zaba/.opam/4.09.0/bin/ocamlopt.opt -w -40 -g -I src/.toml.objs/byte -I src/.toml.objs/native -I src/.toml.objs/public_cmi -I /home/zaba/.opam/4.09.0/lib/ISO8601 -intf-suffix .ml -no-alias-deps -open Toml -o src/.toml.objs/native/toml__Menhir_parser.cmx -c -impl src/menhir_parser.ml)
File "src/menhir_parser.ml", lines 194-257, characters 2-23:
194 | ..fun _menhir_env _menhir_stack _menhir_s _v ->
195 |     match _menhir_s with
196 |     | MenhirState82 ->
197 |         let (_menhir_env : _menhir_env) = _menhir_env in
198 |         let (_menhir_stack : (('freshtv351 * _menhir_state)) * _menhir_state * (
...
254 |          in
255 |         (_menhir_goto_array_start _menhir_env _menhir_stack _menhir_s _v : 'freshtv354)) : 'freshtv356)
256 |     | _ ->
257 |         _menhir_fail ()
Error: This definition has type
         'ttv_tail.
           _menhir_env ->
           'ttv_tail -> _menhir_state -> Toml.Types.array list -> 'freshtv352
       which is less general than
         'ttv_tail 'ttv_return.
           _menhir_env ->
           'ttv_tail -> _menhir_state -> Toml.Types.array list -> 'ttv_return
zzaba commented 2 years ago

I managed to resolve the issue by downgrading menhir from 20211125 to 20211012.

zapashcanon commented 2 years ago

@zzaba, yes I've seen a lot of projects failing with the latest release of menhir. I'm closing as there's probably not much we can do and it'll be fixed in the next release of menhir.