From 8455bb19b7d4235e667cab9112aa276557969dcc Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Wed, 5 Aug 2026 18:44:26 +0100
Subject: Type check generic native types

---
 examples/14-imports/src/line.hob  | 7 +++++++
 examples/14-imports/src/point.hob | 5 +++++
 2 files changed, 12 insertions(+)
 create mode 100644 examples/14-imports/src/line.hob
 create mode 100644 examples/14-imports/src/point.hob

(limited to 'examples/14-imports/src')

diff --git a/examples/14-imports/src/line.hob b/examples/14-imports/src/line.hob
new file mode 100644
index 0000000..562d77f
--- /dev/null
+++ b/examples/14-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;
+}
diff --git a/examples/14-imports/src/point.hob b/examples/14-imports/src/point.hob
new file mode 100644
index 0000000..87f9953
--- /dev/null
+++ b/examples/14-imports/src/point.hob
@@ -0,0 +1,5 @@
+/// A 2D point.
+struct Point {
+    field x: Int32;
+    field y: Int32;
+}
-- 
cgit v1.2.3