From 8455bb19b7d4235e667cab9112aa276557969dcc Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Wed, 5 Aug 2026 18:44:26 +0100 Subject: Type check generic native types --- examples/14-transient-0/src/data.hob | 96 ------------------------------------ 1 file changed, 96 deletions(-) delete mode 100644 examples/14-transient-0/src/data.hob (limited to 'examples/14-transient-0/src') 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]; -} -- cgit v1.2.3