hhugo
hhugo
@TyOverby, it seems that the code structure generated by ppx_expect defeat the logic in place inside ppx_inline_test to allow deadcode of tests. In particular, the call to `Ppx_inline_test_lib.test` is inside...
@WardBrian, you might want to open the issue against ppx_expect instead
xref the ppx_expect issue to here. I can provide some guidance on how to fix the ppx_expect code.
fixed in https://github.com/janestreet/ppx_expect/pull/56
For the record, you need at least two expect tests to reproduce the issue otherwise, inlining of the functor happens and the code is properly DCE
An alternative version of https://github.com/janestreet/ppx_expect/pull/56 was merged and should be present in the next version of ppx_expect (v0.18.0 probably)
@dra27, what would be the way to install gmp on msvc ?
Ok, thanks for the status update. Let's close this for now.
I'm guessing the relevant dune PR is https://github.com/ocaml/dune/pull/10671, in which case this PR is blocked until dune 3.17 is released (https://github.com/ocaml/dune/milestone/58)
xref https://github.com/ocaml/dune/issues/11143