feat(values): add BigInt value record

Author: Ro6afF

src/tracer.rs

@@ -248,33 +248,29 @@ impl Tracer {
 
     pub fn bind_variable(&mut self, variable_name: &str, place: Place) {
         let variable_id = self.ensure_variable_id(variable_name);
-        self.events.push(TraceLowLevelEvent::BindVariable(crate::BindVariableRecord {
-            variable_id,
-            place,
-        }));
+        self.events
+            .push(TraceLowLevelEvent::BindVariable(crate::BindVariableRecord { variable_id, place }));
     }
 
     pub fn drop_variables(&mut self, variable_names: &[String]) {
-        let variable_ids : Vec<VariableId> = variable_names
+        let variable_ids: Vec<VariableId> = variable_names
             .to_vec()
             .iter()
-            .map(| variable_name | self.ensure_variable_id(variable_name))
+            .map(|variable_name| self.ensure_variable_id(variable_name))
             .collect();
-        self.events.push(TraceLowLevelEvent::DropVariables(
-            variable_ids
-        ))
+        self.events.push(TraceLowLevelEvent::DropVariables(variable_ids))
     }
 
     pub fn simple_rvalue(&mut self, variable_name: &str) -> RValue {
         let variable_id = self.ensure_variable_id(variable_name);
         RValue::Simple(variable_id)
     }
-    
+
     pub fn compound_rvalue(&mut self, variable_dependencies: &[String]) -> RValue {
-        let variable_ids : Vec<VariableId> = variable_dependencies
+        let variable_ids: Vec<VariableId> = variable_dependencies
             .to_vec()
             .iter()
-            .map(| variable_dependency | self.ensure_variable_id(variable_dependency))
+            .map(|variable_dependency| self.ensure_variable_id(variable_dependency))
             .collect();
         RValue::Compound(variable_ids)
     }

src/types.rs

@@ -386,6 +386,10 @@ pub enum ValueRecord {
     Cell {
         place: Place,
     },
+    BigInt {
+        b: Vec<u8>, // Big endian
+        type_id: TypeId,
+    },
 }
 
 /// Categories of types recorded in the trace.