From e496591ded164030f85550b9cf5c5eb45840d8e7 Mon Sep 17 00:00:00 2001
From: Kasey White <kwhitemsg@gmail.com>
Date: Wed, 23 Nov 2022 00:49:01 -0500
Subject: [PATCH] checkpoint

---
 examples/sample/validators/swap.ak | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/examples/sample/validators/swap.ak b/examples/sample/validators/swap.ak
index aac4d4e2..6e07b919 100644
--- a/examples/sample/validators/swap.ak
+++ b/examples/sample/validators/swap.ak
@@ -36,5 +36,10 @@ pub fn spend(
   let x = datum.rdmr
   let y = [datum.fin, 2, 3]
   let z = [1, ..y]
-  True
+  when z is {
+    [] -> False
+    [a,b,c] -> a > 1
+    [a,b, c,..d] -> b > 1
+    _other -> False
+  }
 }