Update test case

This commit is contained in:
Ulf Norell 2019-08-05 09:20:09 +02:00
parent 2bf6ab7655
commit 46a996ead8

View File

@ -3,34 +3,34 @@ contract TuplesMatch =
entrypoint tuplify3() = (t) => switch(t) entrypoint tuplify3() = (t) => switch(t)
(x, y, z) => 3 (x, y, z) => 3
entrypoint fst(p : (int, string)) = entrypoint fst(p : int * string) =
switch(p) switch(p)
(x, y) => x (x, y) => x
entrypoint fst'(p : (int, string)) = entrypoint fst'(p : int * string) =
switch(p) switch(p)
(x, _) => x (x, _) => x
entrypoint snd(p : (int, string)) = entrypoint snd(p : int * string) =
switch(p) switch(p)
(x, y) => y (x, y) => y
entrypoint snd'(p : (int, string)) = entrypoint snd'(p : int * string) =
switch(p) switch(p)
(_, y) => y (_, y) => y
entrypoint sum(p) = entrypoint sum(p) =
switch(p) switch(p)
(x, y) => x + y (x, y) => x + y
entrypoint swap(p : (int, string)) = entrypoint swap(p : int * string) =
switch(p) switch(p)
(x, y) => (y, x) (x, y) => (y, x)
entrypoint id(p : (int, int, string)) = entrypoint id(p : int * int * string) =
switch(p) switch(p)
(x, y, z) => (x, y, z) (x, y, z) => (x, y, z)
entrypoint nest(p : ((int, int), string)) = entrypoint nest(p : (int * int) * string) =
switch(p) switch(p)
(xy, z) => switch(xy) (x, y) => (x, y, z) (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) switch(p)
((x, y), (z, w)) => (x, y, z, w) ((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) switch(p)
((x, y), (z, w)) => x + y + z + w ((x, y), (z, w)) => x + y + z + w