Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[pa_ppx.dock] Crash on empty files: Failure: hd #3

Open
Kakadu opened this issue Feb 20, 2023 · 1 comment
Open

[pa_ppx.dock] Crash on empty files: Failure: hd #3

Kakadu opened this issue Feb 20, 2023 · 1 comment

Comments

@Kakadu
Copy link

Kakadu commented Feb 20, 2023

➜  /tmp mkcamlp5.opt   -package   camlp5.pa_o,camlp5.pr_o,camlp5.pr_dump,camlp5.extend,camlp5.quotations,pa_ppx.dock -o pp_dump                                               4.14.1+flambda
findlib: [WARNING] Interface topdirs.cmi occurs in several directories: /media/work/.opam/4.14.1+flambda/lib/ocaml, /media/work/.opam/4.14.1+flambda/lib/ocaml/compiler-libs
➜  /tmp echo "" > a.mli                                                                                                                                                       4.14.1+flambda
➜  /tmp ./pp_dump a.mli                                                                                                                                                       4.14.1+flambda
Failure: hd



➜  /tmp opam list | grep pa_ppx                                                                                                                                               4.14.1+flambda
66:pa_ppx                  0.11           PPX Rewriters for Ocaml, written using Camlp5
➜  /tmp opam list | grep camlp5                                                                                                                                               4.14.1+flambda
11:camlp5                  8.00.05        Preprocessor-pretty-printer of OCaml
12:camlp5-buildscripts     0.01           Camlp5 Build scripts (written in OCaml)

@chetmurthy, not too critical, but FYI

@chetmurthy
Copy link
Owner

Heh, I forgot that there might be empty input-files. I should do a full pass over all the PPX rewriters and make sure that any that process full implem/interf files can handle that. I found the bug btw, and fixed it. And will push to Git now.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants