From cc531f9957c92b069c4f783d83fa6b5916e7dba1 Mon Sep 17 00:00:00 2001
From: Ulf Norell <ulf.norell@gmail.com>
Date: Mon, 9 Sep 2019 16:01:51 +0200
Subject: [PATCH] Test case for Bytes.concat/split

---
 test/aeso_compiler_tests.erl    | 1 +
 test/contracts/bytes_concat.aes | 4 ++++
 2 files changed, 5 insertions(+)
 create mode 100644 test/contracts/bytes_concat.aes

diff --git a/test/aeso_compiler_tests.erl b/test/aeso_compiler_tests.erl
index 9f19e82..802d129 100644
--- a/test/aeso_compiler_tests.erl
+++ b/test/aeso_compiler_tests.erl
@@ -143,6 +143,7 @@ compilable_contracts() ->
      "address_chain",
      "namespace_bug",
      "bytes_to_x",
+     "bytes_concat",
      "aens",
      "tuple_match",
      "cyclic_include",
diff --git a/test/contracts/bytes_concat.aes b/test/contracts/bytes_concat.aes
new file mode 100644
index 0000000..05da86c
--- /dev/null
+++ b/test/contracts/bytes_concat.aes
@@ -0,0 +1,4 @@
+contract BytesConcat =
+  entrypoint rot(a : bytes(3)) =
+    switch (Bytes.split(a))
+      (b, c) => Bytes.concat(c : bytes(2), b)