From 46a996ead8204fb555c8da60841cbb690560baec Mon Sep 17 00:00:00 2001 From: Ulf Norell Date: Mon, 5 Aug 2019 09:20:09 +0200 Subject: [PATCH] Update test case --- test/contracts/tuple_match.aes | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) diff --git a/test/contracts/tuple_match.aes b/test/contracts/tuple_match.aes index 42b6444..0bcab8c 100644 --- a/test/contracts/tuple_match.aes +++ b/test/contracts/tuple_match.aes @@ -1,36 +1,36 @@ -contract TuplesMatch = +contract TuplesMatch = entrypoint tuplify3() = (t) => switch(t) (x, y, z) => 3 - - entrypoint fst(p : (int, string)) = + + entrypoint fst(p : int * string) = switch(p) (x, y) => x - entrypoint fst'(p : (int, string)) = + entrypoint fst'(p : int * string) = switch(p) (x, _) => x - entrypoint snd(p : (int, string)) = + entrypoint snd(p : int * string) = switch(p) (x, y) => y - entrypoint snd'(p : (int, string)) = + entrypoint snd'(p : int * string) = switch(p) (_, y) => y entrypoint sum(p) = switch(p) (x, y) => x + y - entrypoint swap(p : (int, string)) = + entrypoint swap(p : int * string) = switch(p) (x, y) => (y, x) - entrypoint id(p : (int, int, string)) = + entrypoint id(p : int * int * string) = switch(p) (x, y, z) => (x, y, z) - entrypoint nest(p : ((int, int), string)) = + entrypoint nest(p : (int * int) * string) = switch(p) (xy, z) => switch(xy) (x, y) => (x, y, z) - entrypoint deep(p : ((int, int), (int, int))) = + entrypoint deep(p : (int * int) * (int * int)) = switch(p) ((x, y), (z, w)) => (x, y, z, w) - entrypoint deep_sum(p : ((int, int), (int, int))) = + entrypoint deep_sum(p : (int * int) * (int * int)) = switch(p) ((x, y), (z, w)) => x + y + z + w