Skip to content

Commit

Permalink
test: staged_pps and sandboxing (#6747)
Browse files Browse the repository at this point in the history
regression test for #6644

Signed-off-by: Rudi Grinberg <[email protected]>
  • Loading branch information
rgrinberg authored Dec 21, 2022
1 parent bc7baf1 commit b8bd7c0
Showing 1 changed file with 33 additions and 0 deletions.
33 changes: 33 additions & 0 deletions test/blackbox-tests/test-cases/github6644.t
Original file line number Diff line number Diff line change
@@ -0,0 +1,33 @@
staged_pps should work even if sandboxing is enabled

Regression test for #6644

$ cat >dune-project <<EOF
> (lang dune 3.6)
> (package
> (name foo))
> EOF

$ cat >dune <<EOF
> (library
> (name driver1)
> (public_name foo.driver)
> (modules ())
> (ppx.driver (main "(fun () -> assert false)")))
> (library
> (name dummy_rewriter)
> (modules ())
> (libraries driver1)
> (kind ppx_rewriter))
> (library
> (name foo)
> (modules foo)
> (preprocess (staged_pps dummy_rewriter)))
> EOF
$ touch foo.ml

$ dune build foo.cma
File ".foo.objs/byte/_unknown_", line 1, characters 0-0:
Error: This rule forbids all sandboxing modes (but it also requires
sandboxing)
[1]

0 comments on commit b8bd7c0

Please sign in to comment.