From 048910f9459a7fdde0fa9dc183f9a666fa677576 Mon Sep 17 00:00:00 2001
From: sneeker <s@cpl0.zip>
Date: Fri, 28 Feb 2020 12:00:00 +0000
Subject: [PATCH] compile matches into executable decision trees

---
 examples/protocol.tess | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 examples/protocol.tess

diff --git a/examples/protocol.tess b/examples/protocol.tess
new file mode 100644
index 0000000..dcd5443
--- /dev/null
+++ b/examples/protocol.tess
@@ -0,0 +1,8 @@
+data State = Idle | Waiting | Connected
+
+data Message = Hello Int | Data Int | Close
+
+match classify (s : State) (m : Message) : Int =
+  | Idle (Hello n) -> n
+  | Waiting (Data n) -> n
+  | Connected Close -> 0