Add inductive data types example

6 files changed, 38 insertions, 0 deletions

diff --git a/examples/05-list/output/rust/.gitignore b/examples/05-list/output/rust/.gitignore
new file mode 100644
index 0000000..ea8c4bf
--- /dev/null
+++ b/examples/05-list/output/rust/.gitignore
@@ -0,0 +1 @@
+/target
diff --git a/examples/05-list/output/rust/Cargo.lock b/examples/05-list/output/rust/Cargo.lock
new file mode 100644
index 0000000..9dc6e3e
--- /dev/null
+++ b/examples/05-list/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/05-list/output/rust/Cargo.toml b/examples/05-list/output/rust/Cargo.toml
new file mode 100644
index 0000000..5d4c622
--- /dev/null
+++ b/examples/05-list/output/rust/Cargo.toml
@@ -0,0 +1,6 @@
+[package]
+name = "example"
+version = "0.1.0"
+edition = "2024"
+
+[dependencies]
diff --git a/examples/05-list/output/rust/rust-toolchain.toml b/examples/05-list/output/rust/rust-toolchain.toml
new file mode 100644
index 0000000..4fedb95
--- /dev/null
+++ b/examples/05-list/output/rust/rust-toolchain.toml
@@ -0,0 +1,2 @@
+[toolchain]
+channel = "1.96"
diff --git a/examples/05-list/output/rust/src/main.rs b/examples/05-list/output/rust/src/main.rs
new file mode 100644
index 0000000..3c636af
--- /dev/null
+++ b/examples/05-list/output/rust/src/main.rs
@@ -0,0 +1,12 @@
+mod point;
+
+use point::{Path, Point};
+
+fn main() {
+    let path: Path = Path {
+        points: vec![
+            Point { x: 10, y: 25 },
+            Point { x: 25, y: 10 }
+        ],
+    };
+}
diff --git a/examples/05-list/output/rust/src/point.rs b/examples/05-list/output/rust/src/point.rs
new file mode 100644
index 0000000..6249c0a
--- /dev/null
+++ b/examples/05-list/output/rust/src/point.rs
@@ -0,0 +1,10 @@
+// Generated by hobgoblin.
+
+pub struct Path {
+    pub points: std::vec::Vec<crate::point::Point>,
+}
+
+pub struct Point {
+    pub x: i32,
+    pub y: i32,
+}