Type check generic native types

11 files changed, 0 insertions, 97 deletions

diff --git a/examples/11-shared/hobgoblin.json5 b/examples/11-shared/hobgoblin.json5
deleted file mode 100644
index 19e0f93..0000000
--- a/examples/11-shared/hobgoblin.json5
+++ /dev/null
@@ -1,23 +0,0 @@
-{
-  outputs: {
-    langs: {
-      java: {
-        packageName: "org.zwobble.example.types",
-      },
-    },
-    generators: [
-      {
-        generator: "java-types",
-        path: "output/java/src/gen/java",
-      },
-      {
-        generator: "java-precisely-matchers",
-        path: "output/java/src/gen/java",
-      },
-      {
-        generator: "rust-types",
-        path: "output/rust/src",
-      },
-    ],
-  }
-}
diff --git a/examples/11-shared/output/java/.gitignore b/examples/11-shared/output/java/.gitignore
deleted file mode 100644
index ff511d4..0000000
--- a/examples/11-shared/output/java/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/src/gen/
-/target/
diff --git a/examples/11-shared/output/java/pom.xml b/examples/11-shared/output/java/pom.xml
deleted file mode 120000
index 445fa65..0000000
--- a/examples/11-shared/output/java/pom.xml
+++ /dev/null
@@ -1 +0,0 @@
-../../../templates/java-junit/pom.xml
\ No newline at end of file
diff --git a/examples/11-shared/output/java/src/test/java/org/zwobble/example/PointTests.java b/examples/11-shared/output/java/src/test/java/org/zwobble/example/PointTests.java
deleted file mode 100644
index b4c140d..0000000
--- a/examples/11-shared/output/java/src/test/java/org/zwobble/example/PointTests.java
+++ /dev/null
@@ -1,15 +0,0 @@
-package org.zwobble.example;
-
-import static org.junit.jupiter.api.Assertions.assertEquals;
-import org.junit.jupiter.api.Test;
-import org.zwobble.example.types.point.Line;
-import org.zwobble.example.types.point.Point;
-
-public class PointTests {
-    @Test
-    public void line() {
-        var point = new Point(10, 25);
-        var line = new Line(point, point);
-        assertEquals(line.start().x(), 10);
-    }
-}
diff --git a/examples/11-shared/output/rust/.gitignore b/examples/11-shared/output/rust/.gitignore
deleted file mode 100644
index ea8c4bf..0000000
--- a/examples/11-shared/output/rust/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-/target
diff --git a/examples/11-shared/output/rust/Cargo.lock b/examples/11-shared/output/rust/Cargo.lock
deleted file mode 100644
index 9dc6e3e..0000000
--- a/examples/11-shared/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/11-shared/output/rust/Cargo.toml b/examples/11-shared/output/rust/Cargo.toml
deleted file mode 100644
index 5d4c622..0000000
--- a/examples/11-shared/output/rust/Cargo.toml
+++ /dev/null
@@ -1,6 +0,0 @@
-[package]
-name = "example"
-version = "0.1.0"
-edition = "2024"
-
-[dependencies]
diff --git a/examples/11-shared/output/rust/rust-toolchain.toml b/examples/11-shared/output/rust/rust-toolchain.toml
deleted file mode 100644
index 4fedb95..0000000
--- a/examples/11-shared/output/rust/rust-toolchain.toml
+++ /dev/null
@@ -1,2 +0,0 @@
-[toolchain]
-channel = "1.96"
diff --git a/examples/11-shared/output/rust/src/lib.rs b/examples/11-shared/output/rust/src/lib.rs
deleted file mode 100644
index af2c87f..0000000
--- a/examples/11-shared/output/rust/src/lib.rs
+++ /dev/null
@@ -1,14 +0,0 @@
-mod point;
-
-#[cfg(test)]
-mod test {
-    use std::sync::Arc;
-    use super::point::{Line, Point};
-
-    #[test]
-    fn line() {
-        let point = Arc::new(Point { x: 10, y: 25 });
-        let line = Line { start: Arc::clone(&point), end: point };
-        assert_eq!(line.start.x, 10);
-    }
-}
diff --git a/examples/11-shared/output/rust/src/point.rs b/examples/11-shared/output/rust/src/point.rs
deleted file mode 100644
index 7bc470a..0000000
--- a/examples/11-shared/output/rust/src/point.rs
+++ /dev/null
@@ -1,15 +0,0 @@
-// Generated by hobgoblin.
-
-/// A straight line from one point to another.
-#[derive(Clone, Debug, Hash, PartialEq)]
-pub struct Line {
-    pub start: ::std::sync::Arc::<crate::point::Point>,
-    pub end: ::std::sync::Arc::<crate::point::Point>,
-}
-
-/// A 2D point.
-#[derive(Clone, Debug, Hash, PartialEq)]
-pub struct Point {
-    pub x: ::core::primitive::i32,
-    pub y: ::core::primitive::i32,
-}
diff --git a/examples/11-shared/src/point.hob b/examples/11-shared/src/point.hob
deleted file mode 100644
index 7b9a8e6..0000000
--- a/examples/11-shared/src/point.hob
+++ /dev/null
@@ -1,11 +0,0 @@
-/// A straight line from one point to another.
-struct Line {
-    field start: Shared[Point];
-    field end: Shared[Point];
-}
-
-/// A 2D point.
-struct Point {
-    field x: Int32;
-    field y: Int32;
-}