feat: add initial support for tuples, variants and slices

Author: alehander92

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "runtime_tracing"
-version = "0.7.1"
+version = "0.8.0"
 edition = "2021"
 authors = ["Metacraft Labs Ltd"]
 description = "A library for the schema and tracing helpers for the CodeTracer db trace format"

src/lib.rs

@@ -83,6 +83,7 @@ mod tests {
             Place(1),
             ValueRecord::Sequence {
                 elements: vec![ValueRecord::Cell { place: Place(0) }], // #0
+                is_slice: false,
                 type_id,
             },
         );

src/types.rs

@@ -28,8 +28,8 @@ pub enum TraceLowLevelEvent {
 
     // events useful for history
     BindVariable(BindVariableRecord), // bind a variable to a certain place
-    Assignment(AssignmentRecord), // assigning or passing by params
-    DropVariables(Vec<VariableId>), // dropping variables e.g. in the end of scope/heap lifetime
+    Assignment(AssignmentRecord),     // assigning or passing by params
+    DropVariables(Vec<VariableId>),   // dropping variables e.g. in the end of scope/heap lifetime
 
     // experimental modification value tracking events
     // probably will be reworked or replaced by the newer
@@ -280,6 +280,9 @@ pub struct VariableRecord {
 pub struct TypeRecord {
     pub kind: TypeKind,
     pub lang_type: String,
+    // for now only for Struct: TODO eventually
+    // replace with an enum for TypeRecord, or with more cases
+    // in TypeSpecificInfo for collections, etc
     pub specific_info: TypeSpecificInfo,
 }
 
@@ -338,11 +341,21 @@ pub enum ValueRecord {
     Sequence {
         elements: Vec<ValueRecord>,
         type_id: TypeId,
+        is_slice: bool,
+    },
+    Tuple {
+        elements: Vec<ValueRecord>,
+        type_id: TypeId,
     },
     Struct {
         field_values: Vec<ValueRecord>,
         type_id: TypeId, // must point to Type with STRUCT kind and TypeSpecificInfo::Struct
     },
+    Variant {
+        discriminator: String,      // TODO: eventually a more specific kind of value/type
+        contents: Box<ValueRecord>, // usually a Struct or a Tuple
+        type_id: TypeId,
+    },
     Raw {
         r: String,
         type_id: TypeId,