Kappa-Dev/KappaTools

Error (warning 67): unused functor parameter Basic.

Closed this issue · 0 comments

KaTools wont' compile under OCaml 4.10.0

#=== ERROR while compiling kappa-binaries.4.1~dev =============================#
# context     2.0.6 | linux/x86_64 | ocaml-base-compiler.4.10.0 | pinned(git+https://github.com/Kappa-Dev/KaSim.git#3d4f1ab6)
# path        ~/.opam/4.10.0/.opam-switch/build/kappa-binaries.4.1~dev
# command     ~/.opam/4.10.0/bin/dune build -p kappa-binaries -j 7
# exit-code   1
# env-file    ~/.opam/log/kappa-binaries-10040-c81cb0.env
# output-file ~/.opam/log/kappa-binaries-10040-c81cb0.out
### output ###
#       ocamlc KaSa_rep/more_datastructures/.kappa_kasa_kastor_toolset.objs/byte/kappa_kasa_kastor_toolset__Int_storage.{cmi,cmti} (exit 2)
# (cd _build/default && /home/hmedina/.opam/4.10.0/bin/ocamlc.opt -w -40 -w @a -open Kappa_logging -open Kappa_parameters -open Kappa_errors -open Kappa_generic_toolset -g -bin-annot -I KaSa_rep/more_datastructures/.kappa_kasa_kastor_toolset.objs/byte -I /home/hmedina/.opam/4.10.0/lib/biniou -I /home/hmedina/.opam/4.10.0/lib/bytes -I /home/hmedina/.opam/4.10.0/lib/easy-format -I /home/hmedina/.[...]
# File "KaSa_rep/more_datastructures/int_storage.mli", line 78, characters 3-8:
# 78 |   (Basic:Storage
#         ^^^^^
# Error (warning 67): unused functor parameter Basic.


#=== ERROR while compiling kappa-agents.4.1~dev ===============================#
# context     2.0.6 | linux/x86_64 | ocaml-base-compiler.4.10.0 | pinned(git+https://github.com/Kappa-Dev/KaSim.git#3d4f1ab6)
# path        ~/.opam/4.10.0/.opam-switch/build/kappa-agents.4.1~dev
# command     ~/.opam/4.10.0/bin/dune build -p kappa-agents -j 7
# exit-code   1
# env-file    ~/.opam/log/kappa-agents-10040-864f1d.env
# output-file ~/.opam/log/kappa-agents-10040-864f1d.out
### output ###
#       ocamlc KaSa_rep/more_datastructures/.kappa_kasa_kastor_toolset.objs/byte/kappa_kasa_kastor_toolset__Int_storage.{cmi,cmti} (exit 2)
# (cd _build/default && /home/hmedina/.opam/4.10.0/bin/ocamlc.opt -w -40 -w @a -open Kappa_logging -open Kappa_parameters -open Kappa_errors -open Kappa_generic_toolset -g -bin-annot -I KaSa_rep/more_datastructures/.kappa_kasa_kastor_toolset.objs/byte -I /home/hmedina/.opam/4.10.0/lib/biniou -I /home/hmedina/.opam/4.10.0/lib/bytes -I /home/hmedina/.opam/4.10.0/lib/easy-format -I /home/hmedina/.[...]
# File "KaSa_rep/more_datastructures/int_storage.mli", line 78, characters 3-8:
# 78 |   (Basic:Storage
#         ^^^^^
# Error (warning 67): unused functor parameter Basic.