can you kindly update the dependencies?!

[progman1]

hi the 0.3.1 of [higher] pullled in a new [result] which pulled in a new [dune] which didn't compile (a shimming issue I think). so I down-versioned [higher] to 0.3.0 and there was a missing [genlet] package. got that then [syb] compile failed with

 + /home/dev/.opam/4.02.1+modular-implicits-ber/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package genlet -package higher -I lib -o lib/syb_instances.cmo lib/syb_instances.ml
# File "lib/syb_instances.ml", line 124, characters 22-35:
# Error: This is an implicit functor.

and ... I'm lost! I don't know what else to try so here is my humble request.

[yallop]

I recommend looking here for a more recent revision of this library:

https://github.com/yallop/staged-generic-programming

[progman1]

thanks for that. I get another error though:

(*with your example from the staged-generic README*)
# #use "go.ml";;
/home/dev/.opam/4.02.1+modular-implicits-ber/lib/delimcc: added to search path
/home/dev/.opam/4.02.1+modular-implicits-ber/lib/delimcc/delimcc.cma: loaded
/home/dev/.opam/4.02.1+modular-implicits-ber/lib/genlet: added to search path
/home/dev/.opam/4.02.1+modular-implicits-ber/lib/genlet/genlet.cma: loaded
File "go.ml", line 1:
Error: Reference to undefined global `Trx'

[yallop]

That looks you you may be using the ocaml top-level rather than metaocaml (which loads Trx automatically).

[progman1]

it needed both ocamlcommon.cma for Trx and ocamlbytecomp.cma/metalib.cma for Runcode.

there seems to be something screwy about the include directory setup - metalib.cma not found despite it being under lib/ocaml. and -I +compiler-libs didn't work either, a holdover from an earlier version of BER MetaOCaml or the implicits mod.

[progman1]

metaocaml not ocaml!