Skip to content

Commit

Permalink
runtime5 only
Browse files Browse the repository at this point in the history
  • Loading branch information
@d-kalinichenko
d-kalinichenko committed Jan 13, 2025
1 parent 380c0f0 commit 021550e
Show file tree
Hide file tree
Showing 18 changed files with 54 additions and 2 deletions.
3 changes: 3 additions & 0 deletions testsuite/tests/effects-api/cmphash.ml
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,8 @@
(* TEST
include stdlib_alpha;
runtime5;
{ bytecode; }
{ native; }
*)

module Effect = Stdlib_alpha.Effect
Expand Down
3 changes: 3 additions & 0 deletions testsuite/tests/effects-api/effects.ml
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,8 @@
(* TEST
include stdlib_alpha;
runtime5;
{ bytecode; }
{ native; }
*)

module Effect = Stdlib_alpha.Effect
Expand Down
3 changes: 3 additions & 0 deletions testsuite/tests/effects-api/evenodd.ml
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,8 @@
(* TEST
include stdlib_alpha;
runtime5;
{ bytecode; }
{ native; }
*)

module Effect = Stdlib_alpha.Effect
Expand Down
3 changes: 3 additions & 0 deletions testsuite/tests/effects-api/manylive.ml
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,8 @@
(* TEST
include stdlib_alpha;
runtime5;
{ bytecode; }
{ native; }
*)

module Effect = Stdlib_alpha.Effect
Expand Down
3 changes: 3 additions & 0 deletions testsuite/tests/effects-api/overflow.ml
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,8 @@
(* TEST
include stdlib_alpha;
runtime5;
{ bytecode; }
{ native; }
*)

module Effect = Stdlib_alpha.Effect
Expand Down
3 changes: 3 additions & 0 deletions testsuite/tests/effects-api/partial.ml
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,8 @@
(* TEST
include stdlib_alpha;
runtime5;
{ bytecode; }
{ native; }
*)

module Effect = Stdlib_alpha.Effect
Expand Down
3 changes: 3 additions & 0 deletions testsuite/tests/effects-api/reperform.ml
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,8 @@
(* TEST
include stdlib_alpha;
runtime5;
{ bytecode; }
{ native; }
*)

module Effect = Stdlib_alpha.Effect
Expand Down
3 changes: 3 additions & 0 deletions testsuite/tests/effects-api/sched.ml
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,8 @@
(* TEST
include stdlib_alpha;
runtime5;
{ bytecode; }
{ native; }
*)

module Effect = Stdlib_alpha.Effect
Expand Down
4 changes: 3 additions & 1 deletion testsuite/tests/effects-api/shallow_state.ml
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,8 @@
(* TEST
include stdlib_alpha;
runtime5;
{ bytecode; }
{ native; }
*)

module Effect = Stdlib_alpha.Effect
Expand Down Expand Up @@ -50,4 +53,3 @@ let main () =
;;

let _ = main ()

4 changes: 3 additions & 1 deletion testsuite/tests/effects-api/shallow_state_io.ml
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,8 @@
(* TEST
include stdlib_alpha;
runtime5;
{ bytecode; }
{ native; }
*)

module Effect = Stdlib_alpha.Effect
Expand Down Expand Up @@ -57,4 +60,3 @@ let main () =
Printf.printf "Final state: %d\n" i

let _ = main ()

3 changes: 3 additions & 0 deletions testsuite/tests/effects-api/test1.ml
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,8 @@
(* TEST
include stdlib_alpha;
runtime5;
{ bytecode; }
{ native; }
*)

module Effect = Stdlib_alpha.Effect
Expand Down
3 changes: 3 additions & 0 deletions testsuite/tests/effects-api/test10.ml
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,8 @@
(* TEST
include stdlib_alpha;
runtime5;
{ bytecode; }
{ native; }
*)

module Effect = Stdlib_alpha.Effect
Expand Down
3 changes: 3 additions & 0 deletions testsuite/tests/effects-api/test11.ml
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,8 @@
(* TEST
include stdlib_alpha;
runtime5;
{ bytecode; }
{ native; }
*)

module Effect = Stdlib_alpha.Effect
Expand Down
3 changes: 3 additions & 0 deletions testsuite/tests/effects-api/test2.ml
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,8 @@
(* TEST
include stdlib_alpha;
runtime5;
{ bytecode; }
{ native; }
*)

module Effect = Stdlib_alpha.Effect
Expand Down
3 changes: 3 additions & 0 deletions testsuite/tests/effects-api/test3.ml
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,8 @@
(* TEST
include stdlib_alpha;
runtime5;
{ bytecode; }
{ native; }
*)

module Effect = Stdlib_alpha.Effect
Expand Down
3 changes: 3 additions & 0 deletions testsuite/tests/effects-api/test4.ml
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,8 @@
(* TEST
include stdlib_alpha;
runtime5;
{ bytecode; }
{ native; }
*)

module Effect = Stdlib_alpha.Effect
Expand Down
3 changes: 3 additions & 0 deletions testsuite/tests/effects-api/test5.ml
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,8 @@
(* TEST
include stdlib_alpha;
runtime5;
{ bytecode; }
{ native; }
*)

module Effect = Stdlib_alpha.Effect
Expand Down
3 changes: 3 additions & 0 deletions testsuite/tests/effects-api/used_cont.ml
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,8 @@
(* TEST
include stdlib_alpha;
runtime5;
{ bytecode; }
{ native; }
*)

module Effect = Stdlib_alpha.Effect
Expand Down

0 comments on commit 021550e

Please sign in to comment.