From 94d481c940fb36da896e2e80a62f39d849477f53 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Thu, 2 Jul 2026 16:32:26 +0100
Subject: Add inductive data types example

---
 examples/09-imports/src/line.hob | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 examples/09-imports/src/line.hob

(limited to 'examples/09-imports/src/line.hob')

diff --git a/examples/09-imports/src/line.hob b/examples/09-imports/src/line.hob
new file mode 100644
index 0000000..562d77f
--- /dev/null
+++ b/examples/09-imports/src/line.hob
@@ -0,0 +1,7 @@
+import {Point} from ./point;
+
+/// A straight line from one point to another.
+struct Line {
+    field start: Point;
+    field end: Point;
+}
-- 
cgit v1.2.3