Add inductive data types example

6 files changed, 0 insertions, 38 deletions

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