Added DynT and DynType

Author: dkcumming

kmir/src/kmir/kdist/mir-semantics/ty.md

@@ -280,6 +280,8 @@ syntax ExistentialPredicateBinders ::= List {ExistentialPredicateBinder, ""}
                     | typeInfoRefType(Ty)                        [symbol(TypeInfo::RefType)      , group(mir-enum---pointee-type)]
                     | typeInfoTupleType(types: Tys, layout: MaybeLayoutShape)
                                                             [symbol(TypeInfo::TupleType)    , group(mir-enum---types--layout)]
+                    | TypeInfoDynType(name: MIRString, layout: MaybeLayoutShape)
+                                                            [symbol(TypeInfo::DynType)      , group(mir-enum---name--layout)]
                     | typeInfoFunType(MIRString)                 [symbol(TypeInfo::FunType)      , group(mir-enum)]
                     | "typeInfoVoidType"                         [symbol(TypeInfo::VoidType)     , group(mir-enum)]
 

kmir/src/kmir/ty.py

@@ -675,6 +675,28 @@ def nbytes(self, types: Mapping[Ty, TypeMetadata]) -> int:
                 return size.in_bytes
 
 
+@dataclass
+class DynT(TypeMetadata):
+    name: str
+    layout: LayoutShape | None
+
+    @staticmethod
+    def from_raw(data: Any) -> DynT:
+        match data:
+            case {
+                'DynType': {
+                    'name': name,
+                    'layout': layout,
+                }
+            }:
+                return DynT(
+                    name=name,
+                    layout=LayoutShape.from_raw(layout) if layout is not None else None,
+                )
+            case _:
+                raise _cannot_parse_as('DynT', data)
+
+
 @dataclass
 class FunT(TypeMetadata):
     type_str: str