Type check generic native types

2 files changed, 12 insertions, 0 deletions

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;
+}