Type check generic native types

1 files changed, 0 insertions, 96 deletions

diff --git a/examples/14-transient-0/src/data.hob b/examples/14-transient-0/src/data.hob
deleted file mode 100644
index fb53553..0000000
--- a/examples/14-transient-0/src/data.hob
+++ /dev/null
@@ -1,96 +0,0 @@
-struct StructSingleton {
-    singleton;
-}
-
-struct StructWithBool {
-    field a: Bool;
-    field b: Bool;
-}
-
-struct StructWithInt8 {
-    field a: Int8;
-    field b: Int8;
-}
-
-struct StructWithInt32 {
-    field a: Int32;
-    field b: Int32;
-}
-
-struct StructWithInt64 {
-    field a: Int64;
-    field b: Int64;
-}
-
-struct StructWithString {
-    field a: String;
-    field b: String;
-}
-
-struct StructWithStruct {
-    field inner: StructWithInt32;
-    field c: Int32;
-}
-
-struct StructWithList {
-    field a: List[Int64];
-    field b: List[StructWithInt32];
-}
-
-struct StructWithOption {
-    field a: Option[Int64];
-    field b: Option[StructWithInt32];
-}
-
-enum EnumWithVariants {
-    variant zero;
-    variant one;
-    variant two;
-}
-
-struct StructWithEnum {
-    field inner: EnumWithVariants;
-    field c: Int32;
-}
-
-sum SumWithVariants {
-    variant VariantOne;
-    variant VariantTwo;
-}
-
-struct VariantOne {
-    field a: Int32;
-}
-
-struct VariantTwo {
-    field a: Int64;
-}
-
-sum SumWithBoxedVariants {
-    variant Box[VariantOne];
-    variant Box[VariantTwo];
-}
-
-struct StructWithSum {
-    field inner: SumWithVariants;
-    field b: Int32;
-}
-
-struct StructWithBox {
-    field inner: Box[StructWithInt32];
-}
-
-struct StructWithListOfShared {
-    field inner: List[Shared[StructWithInt32]];
-}
-
-struct StructWithDifferentSharedTypes {
-    field a: Shared[StructWithInt32];
-    field b: Shared[StructWithInt64];
-    field c: Shared[StructWithInt32];
-}
-
-struct StructWithSharedSumAndVariant {
-    field a: Shared[SumWithVariants];
-    field b: Shared[VariantOne];
-}