update mode signatures of tests

LPCIC · Dec 16, 2024 · 49a6d70 · 49a6d70
1 parent 9ffb686
commit 49a6d70
Show file tree

Hide file tree

Showing 8 changed files with 19 additions and 16 deletions.
diff --git a/tests/sources/dt_var.elpi b/tests/sources/dt_var.elpi
@@ -11,6 +11,7 @@ p [1 | X] :- print "OK".
 pred exec i:prop.
 exec P :- (P, fail); true.
 
+:untyped
 main :-
   exec (f X),
   exec (p [1 | Y]).
diff --git a/tests/sources/functionality/test29.elpi b/tests/sources/functionality/test29.elpi
@@ -1,5 +1,5 @@
 % YES
-:functional pred r o:int, o:int.
+:functional pred r o:int, i:int.
 
 :functional pred p i:(pred i:int).
 

diff --git a/tests/sources/helena_elpi/helena.elpi b/tests/sources/helena_elpi/helena.elpi
@@ -68,13 +68,13 @@ m+pred m+y m+y.
 
 % EXTENDED REDUCTION %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
-pred maybe+sn o:any,o:any,o:any,o:any,o:any,o:any,o:any,o:any.
-pred age+check o:any,o:any,o:any,o:any,o:any,o:any,o:any,o:any,o:any,o:any.
-pred conv+ o:any,o:any,o:any,o:any,o:any,o:any.
-pred conv+s o:any,o:any.
-pred conv+r o:any,o:any,o:any,o:any,o:any,o:any.
-pred conv+l o:any,o:any,o:any,o:any,o:any,o:any.
-pred conv+0 o:any,o:any,o:any,o:any,o:any,o:any.
+pred maybe+sn i:any,i:any,o:any,o:any,o:any,o:any,i:any,i:any.
+pred age+check i:any,i:any,o:any,o:any,o:any,o:any,i:any,o:any,i:any,i:any.
+pred conv+ o:any,i:any,o:any,o:any,i:any,i:any.
+pred conv+s i:any,i:any.
+pred conv+r i:any,i:any,o:any,o:any,i:any,o:any.
+pred conv+l o:any,i:any,o:any,o:any,i:any,i:any.
+pred conv+0 o:any,i:any,o:any,o:any,i:any,i:any.
 pred k+succ o:any,o:any.
 type k+prop any.
 type k+set any.
@@ -94,7 +94,7 @@ type sort any -> any.
 type abst any -> any -> (any -> any) -> any.
 type abbr any -> (any -> any) -> any.
 type prod any -> any -> (any -> any) -> any.
-pred appl+ o:any,o:any,o:any,o:any.
+pred appl+ i:any,o:any,o:any,o:any.
 pred gv+ o:any.
 pred tv+ o:any.
 type gtop any.

diff --git a/tests/sources/hilbert/hilbert.mod b/tests/sources/hilbert/hilbert.mod
@@ -124,6 +124,7 @@ problem1 X U Y Z :-
 % converts ints to church numerals
 cn 0 Z :- zero Z.
 cn 1 One :- one One.
+:untyped
 cn N (P CNP One) :- N > 1, NP is (N - 1), plus P, one One, cn NP CNP.
 
 % tests:

diff --git a/tests/sources/hilbert2/hilbert2.mod b/tests/sources/hilbert2/hilbert2.mod
@@ -108,6 +108,7 @@ problem1 X U Y Z :-
 % converts ints to church numerals
 cn 0 Z :- zero Z.
 cn 1 One :- one One.
+:untyped
 cn N (P CNP One) :- N > 1, NP is (N - 1), plus P, one One, cn NP CNP.
 
 % tests:

diff --git a/tests/sources/map_list_opt.elpi b/tests/sources/map_list_opt.elpi
@@ -21,14 +21,14 @@ build N M X X1 :-
   add N N X XR,
   build N1 M XR X1.
 
-pred test i:int, i:int, i:(int -> A -> int -> prop), i:A.
+pred test i:int, i:int, i:(pred i:int, i:A, o:int), i:A.
 test N N _ _ :- !.
 test N M F X :-
   N1 is N + 1,
   std.assert! (F N X N) "not found",
   test N1 M F X.
 
-pred test2 i:int, i:int, i:(int -> A -> A -> prop), i:A.
+pred test2 i:int, i:int, i:(pred i:int, i:A, o:A), i:A.
 test2 N N _ _ :- !.
 test2 N M F X :-
   N1 is N + 1,

diff --git a/tests/sources/set.elpi b/tests/sources/set.elpi
@@ -6,14 +6,14 @@ build N M X X1 :-
   std.set.add N X XR,
   build N1 M XR X1.
 
-pred test i:int, i:int, i:(int -> A -> prop), i:A.
+pred test i:int, i:int, i:(pred i:int, i:A), i:A.
 test N N _ _ :- !.
 test N M F X :-
   N1 is N + 1,
   std.assert! (F N X) "not found",
   test N1 M F X.
 
-pred test2 i:int, i:int, i:(int -> A -> A -> prop), i:A, o:A.
+pred test2 i:int, i:int, i:(pred i:int, i:A, o:A), i:A, o:A.
 test2 N N _ R R :- !.
 test2 N M F X R :-
   N1 is N + 1,

diff --git a/tests/sources/shorten_trie.elpi b/tests/sources/shorten_trie.elpi
@@ -1,8 +1,8 @@
-pred std.list.map i:any, i:any.
+pred std.list.map o:any, i:any.
 std.list.map _ _.
-pred std.string.concat1 i:any, i:any, i:any.
+pred std.string.concat1 i:any, i:any, o:any.
 std.string.concat1 _ _ _.
-pred std.string.escape i:any, i:any.
+pred std.string.escape i:any, o:any.
 std.string.escape _ _.
 
 shorten std.{list.map, string.{ concat1, escape }}.