diff --git a/src/test/contracts/tuple_list.religo b/src/test/contracts/tuple_list.religo new file mode 100644 index 000000000..0736701d2 --- /dev/null +++ b/src/test/contracts/tuple_list.religo @@ -0,0 +1,3 @@ +type z = list((int, int)); + +let o: z = [(2,4), (4, 6)]; \ No newline at end of file diff --git a/src/test/integration_tests.ml b/src/test/integration_tests.ml index 2b9bc2ed8..4006d6b79 100644 --- a/src/test/integration_tests.ml +++ b/src/test/integration_tests.ml @@ -2316,6 +2316,10 @@ let no_semicolon_religo () : unit result = in ok () +let tuple_list_religo () : unit result = + let%bind _ = retype_file "./contracts/tuple_list.religo" in + ok () + let loop_bugs_ligo () : unit result = let%bind program = type_file "./contracts/loop_bugs.ligo" in let input = e_unit () in @@ -2502,4 +2506,5 @@ let main = test_suite "Integration (End to End)" [ test "tuple type (religo)" tuple_type_religo ; test "no semicolon (religo)" no_semicolon_religo ; test "loop_bugs (ligo)" loop_bugs_ligo ; + test "tuple_list (religo)" tuple_list_religo ; ]