Add inductive data types example

7 files changed, 41 insertions, 0 deletions

diff --git a/examples/09-imports/output/rust/.gitignore b/examples/09-imports/output/rust/.gitignore
new file mode 100644
index 0000000..ea8c4bf
--- /dev/null
+++ b/examples/09-imports/output/rust/.gitignore
@@ -0,0 +1 @@
+/target
diff --git a/examples/09-imports/output/rust/Cargo.lock b/examples/09-imports/output/rust/Cargo.lock
new file mode 100644
index 0000000..9dc6e3e
--- /dev/null
+++ b/examples/09-imports/output/rust/Cargo.lock
@@ -0,0 +1,7 @@
+# This file is automatically @generated by Cargo.
+# It is not intended for manual editing.
+version = 4
+
+[[package]]
+name = "example"
+version = "0.1.0"
diff --git a/examples/09-imports/output/rust/Cargo.toml b/examples/09-imports/output/rust/Cargo.toml
new file mode 100644
index 0000000..5d4c622
--- /dev/null
+++ b/examples/09-imports/output/rust/Cargo.toml
@@ -0,0 +1,6 @@
+[package]
+name = "example"
+version = "0.1.0"
+edition = "2024"
+
+[dependencies]
diff --git a/examples/09-imports/output/rust/rust-toolchain.toml b/examples/09-imports/output/rust/rust-toolchain.toml
new file mode 100644
index 0000000..4fedb95
--- /dev/null
+++ b/examples/09-imports/output/rust/rust-toolchain.toml
@@ -0,0 +1,2 @@
+[toolchain]
+channel = "1.96"
diff --git a/examples/09-imports/output/rust/src/line.rs b/examples/09-imports/output/rust/src/line.rs
new file mode 100644
index 0000000..01c9d43
--- /dev/null
+++ b/examples/09-imports/output/rust/src/line.rs
@@ -0,0 +1,7 @@
+// Generated by hobgoblin.
+
+/// A straight line from one point to another.
+pub struct Line {
+    pub start: crate::point::Point,
+    pub end: crate::point::Point,
+}
diff --git a/examples/09-imports/output/rust/src/main.rs b/examples/09-imports/output/rust/src/main.rs
new file mode 100644
index 0000000..ee3d685
--- /dev/null
+++ b/examples/09-imports/output/rust/src/main.rs
@@ -0,0 +1,11 @@
+mod line;
+mod point;
+
+use line::Line;
+use point::Point;
+
+fn main() {
+    let start = Point { x: 10, y: 25 };
+    let end = Point { x: 10, y: 25 };
+    let line = Line { start, end };
+}
diff --git a/examples/09-imports/output/rust/src/point.rs b/examples/09-imports/output/rust/src/point.rs
new file mode 100644
index 0000000..718ecfd
--- /dev/null
+++ b/examples/09-imports/output/rust/src/point.rs
@@ -0,0 +1,7 @@
+// Generated by hobgoblin.
+
+/// A 2D point.
+pub struct Point {
+    pub x: i32,
+    pub y: i32,
+}