From 7756bfda9396bd64f5757fca1c0442ae827659c9 Mon Sep 17 00:00:00 2001
From: John David Pressman <jd@jdpressman.com>
Date: Wed, 22 Jan 2020 01:30:04 -0800
Subject: [PATCH] Add rough draft of hashlock contract

---
 src/test/contracts/hashlock.mligo | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 src/test/contracts/hashlock.mligo

diff --git a/src/test/contracts/hashlock.mligo b/src/test/contracts/hashlock.mligo
new file mode 100644
index 000000000..b30f2bc9b
--- /dev/null
+++ b/src/test/contracts/hashlock.mligo
@@ -0,0 +1,16 @@
+type storage = {
+  hashed: bytes;
+  unused: bool;
+}
+
+type parameter = {
+  hashable: bytes;
+  message: unit -> operation list;
+}
+
+let main ((p,s): parameter * storage) : operation list * storage =
+  if ((Crypto.sha256 p.hashable) = s.hashed) && s.unused
+  then
+    let s: storage = {hashed = s.hashed; unused = false} in
+    ((p.message ()), s)
+  else (([]: operation list), s)