Stream: coqbot devs & users

Topic: ppx errors?


view this post on Zulip Jason Gross (Nov 01 2021 at 15:22):

What do error messages like

(cd _build/default && .ppx/08407edc227d06689f98d70e968842c7/ppx.exe -native -schema bot-components/schema.json --cookie 'library-name="Bot_components"' -o bot-components/Utils.pp.ml --impl bot-components/Utils.ml --dump-ast)
.ppx/08407edc227d06689f98d70e968842c7/ppx.exe: unknown option '-native'.
ppx.exe [options] [<files>]
  --as-ppx                     Act as a -ppx rewriter
  --as-pp                      Shorthand for: --dump-ast --embed-errors
  --dump-ast                   Output a binary AST instead of source code
  --null                       Output nothing, just report errors
  -o FILE                      Output to this file instead of the standard output
  --intf FILE                  Treat FILE as a .mli file
  --impl FILE                  Treat FILE as a .ml file
  --embed-errors               Embed error reported by rewriters into the AST
  --print-transformations      Print registered transformations in their order of executions
  --cookie NAME=EXPR           Set the cookie NAME to EXPR
  -custom-field Adds           a global custom field decoder/serializer (format: -custom-field ScalarType Module)
  -verbose Defines             if logging should be verbose or not
  -apollo-mode Defines         if apply Apollo specific code generation
  -schema <path/to/schema.json>
  -future-added-value Omits    the `FutureAddedValue variant for enums if set to false
  -ast-out Defines             if output string or AST
  -o Verbose                   error handling. If not defined NODE_ENV will be used
  -help                        Display this list of options
  --help                       Display this list of options
         ppx bot-components/Utils.pp.mli (exit 2)

mean?

view this post on Zulip Jason Gross (Nov 01 2021 at 15:22):

I'm using 4.11.2+fp and

$ opam list '*ppx*' --installed
# Packages matching: installed & name-match(*ppx*)
# Name              # Installed # Synopsis
graphql_ppx         1.0.1       GraphQL PPX rewriter for Bucklescript/ReasonML
ppx_derivers        1.2.1       Shared [@@deriving] plugin registry
ppx_deriving        5.1         Type-driven code generation for OCaml
ppx_deriving_yojson 3.6.1       JSON codec generator for OCaml
ppx_import          1.8.0       A syntax extension for importing declarations from interface files
ppx_sexp_conv       v0.14.0     [@@deriving] plugin to generate S-expression conversion functions
ppx_tools_versioned 5.4.0       A variant of ppx_tools based on ocaml-migrate-parsetree
ppxlib              0.14.0      Base library and tools for ppx rewriters

view this post on Zulip Jason Gross (Nov 01 2021 at 15:25):

I've updated and still get the same error with

$ opam list '*ppx*' --installed
# Packages matching: installed & name-match(*ppx*)
# Name              # Installed # Synopsis
graphql_ppx         1.0.1       GraphQL PPX rewriter for Bucklescript/ReasonML
ppx_derivers        1.2.1       Shared [@@deriving] plugin registry
ppx_deriving        5.1         Type-driven code generation for OCaml
ppx_deriving_yojson 3.6.1       JSON codec generator for OCaml
ppx_import          1.8.0       A syntax extension for importing declarations from interface files
ppx_sexp_conv       v0.14.1     [@@deriving] plugin to generate S-expression conversion functions
ppx_tools_versioned 5.4.0       A variant of ppx_tools based on ocaml-migrate-parsetree
ppxlib              0.15.0      Standard library for ppx rewriters

view this post on Zulip Théo Zimmermann (Nov 01 2021 at 15:30):

That's about the graphql_ppx version being used I think.

view this post on Zulip Théo Zimmermann (Nov 01 2021 at 15:31):

The bot now requires version 1.2.0: https://github.com/coq/bot/commit/d11856e18c3832bf2347da068f9b87244f25c659

view this post on Zulip Jason Gross (Nov 01 2021 at 15:34):

Ah, great, thanks! Now I'm just getting

$ dune build --ignore-promoted-rules
File "src/config.ml", line 8, characters 36-75:
8 | let find k = Toml.Types.Table.find (Toml.Types.Table.Key.bare_key_of_string k)
                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: Unbound value Toml.Types.Table.Key.bare_key_of_string

view this post on Zulip Théo Zimmermann (Nov 01 2021 at 16:16):

Sorry I'm only seeing this now. This has to do with the version of Toml. You need version 6.0.0:
https://github.com/coq/bot/blob/2879bc6269bb49c0eda05ca0208cc13812162e03/coq-bot.opam#L21

view this post on Zulip Emilio Jesús Gallego Arias (Nov 01 2021 at 23:37):

@Jason Gross if the opam file is correct, you can always check if opam install --deps-only . does something

view this post on Zulip Emilio Jesús Gallego Arias (Nov 01 2021 at 23:38):

There is a long time wish for dune to actually check version constraints, @Rudi Grinberg may know more, but that'd help a lot in cases like this; but I guess lack of standard "versioning" in OCaml packages is making this hard


Last updated: Jan 31 2023 at 11:01 UTC