Skip to content

Commit

Permalink
promote tests
Browse files Browse the repository at this point in the history
due to dune 3.16

Signed-off-by: Andrey Popp <8mayday@gmail.com>
  • Loading branch information
andreypopp authored and anmonteiro committed Apr 30, 2024
1 parent 0960331 commit bc5fba6
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions test/blackbox-tests/test-cases/merlin/granularity.t
Original file line number Diff line number Diff line change
Expand Up @@ -111,7 +111,7 @@ Is it expected that the suffix for implementation and interface is the same ?
(?:S?:$TESTCASE_ROOT
(?:FLG(?:-open?:Dune__exe)
(?:FLG(?:-pp?:$TESTCASE_ROOT/_build/default/pp.sh)
(?:FLG(?:-w?:@1..3@5..28@30..39@43@46..47@49..57@61..62@67@69-?:-strict-sequence?:-strict-formats?:-short-paths?:-keep-locs?:-no-strict-formats?:-g)
(?:FLG(?:-w?:@1..3@5..28@31..39@43@46..47@49..57@61..62@67@69-?:-strict-sequence?:-strict-formats?:-short-paths?:-keep-locs?:-no-strict-formats?:-g)
(?:SUFFIX?:.mlx .mlx))

$ ./merlin_conf.sh pped.mli | diff pped.out -
Expand All @@ -125,7 +125,7 @@ As expected, the reader is not communicated for the standard mli
(?:B?:$TESTCASE_ROOT/_build/default/.test.eobjs/byte
(?:S?:$TESTCASE_ROOT
(?:FLG(?:-open?:Dune__exe)
(?:FLG(?:-w?:@1..3@5..28@30..39@43@46..47@49..57@61..62@67@69-?:-strict-sequence?:-strict-formats?:-short-paths?:-keep-locs?:-no-strict-formats?:-g)
(?:FLG(?:-w?:@1..3@5..28@31..39@43@46..47@49..57@61..62@67@69-?:-strict-sequence?:-strict-formats?:-short-paths?:-keep-locs?:-no-strict-formats?:-g)
(?:SUFFIX?:.mlx .mlx))

The reader is set for the mlx file
Expand Down Expand Up @@ -154,7 +154,7 @@ found, then it'll make a guess that the file was preprocessed into a file with
(?:B?:$TESTCASE_ROOT/_build/default/.test.eobjs/byte
(?:S?:$TESTCASE_ROOT
(?:FLG(?:-open?:Dune__exe)
(?:FLG(?:-w?:@1..3@5..28@30..39@43@46..47@49..57@61..62@67@69-?:-strict-sequence?:-strict-formats?:-short-paths?:-keep-locs?:-no-strict-formats?:-g)
(?:FLG(?:-w?:@1..3@5..28@31..39@43@46..47@49..57@61..62@67@69-?:-strict-sequence?:-strict-formats?:-short-paths?:-keep-locs?:-no-strict-formats?:-g)
(?:SUFFIX?:.mlx .mlx))

$ ./merlin_conf.sh cppomod.ml | diff cppomod.out -
Expand All @@ -173,5 +173,5 @@ We could expect dune to get the wrongext module configuration
(?:B?:$TESTCASE_ROOT/_build/default/.test.eobjs/byte
(?:S?:$TESTCASE_ROOT
(?:FLG(?:-open?:Dune__exe)
(?:FLG(?:-w?:@1..3@5..28@30..39@43@46..47@49..57@61..62@67@69-?:-strict-sequence?:-strict-formats?:-short-paths?:-keep-locs?:-no-strict-formats?:-g)
(?:FLG(?:-w?:@1..3@5..28@31..39@43@46..47@49..57@61..62@67@69-?:-strict-sequence?:-strict-formats?:-short-paths?:-keep-locs?:-no-strict-formats?:-g)
(?:SUFFIX?:.mlx .mlx))

0 comments on commit bc5fba6

Please sign in to comment.