{"header":{"message":"feat(vm): technicalities for lists (or cons cells)","description":null,"timestamp":"2024-02-29T20:05:13.282520199Z","authors":[{}]},"hash":"TVLSE2FV4B2QMH3XRPVTD7KDG24VHBW6BIYY77IOOBROUKOAGPEQC","authors":[{"login":"Jengamon","key":"47a75hR6eVaawZfVGBs2CqZUKZbcNz5Ago5CubrCkWvZ"}],"deps":{"hashes":[["TVLSE2FV4B2QMH3XRPVTD7KDG24VHBW6BIYY77IOOBROUKOAGPEQC","feat(vm): technicalities for lists (or cons cells)"],["AA",null],["2E3D3TGY4B4L6VKJ6WKDHPS4BD5JNJM2I56RHHYZNVABUTGQUTPQC","feat(vm): provide view of internals for debugging"],["75GWW2CE35HGTMQCKVBOZTHR5SIG5DDG2VX3VHXB5U3NAQ3OWCCQC","fix(vm): correct list structure"],["ABFTXJS57ESOF4DIRYCYDJ3DLYCU5T7UIWB7HAUUXVQZ3LANAVMQC","feat(vm): start sketching out value impl"],["5V5RUGDG6RCDZU5ZJSBOMUDMPSUD7HQ5DXUQQPEPSGICQEGM6XOAC","feat(vm): sketch out how to use VM data outside of a VM instance"],["G56KIGT4UWWMWBCNEEEN63TOCP3XAFSX4CK7MLNX664SDCT74K3AC","feat(vm): create \"free\" primitives for use with external systems"],["Y26CTXMO7XJMHSZNRBCVQAPFAJZ2LOO47WI2V2LCZU6SG52VOP7QC","feat(vm): start vm work"],["RNXGJRK6TBSCXACJQ4RQXEYWPL7PJFUPYC7FWN5RNACKPWQYU4NAC","feat(vm): more notes"],["ERRF37DMR4GWXAHSLA5U4PKLK3AL3PGD4GP6YPEK3SHLN3AFY7MAC","feat(vm): create rudimentary symbol table"],["CZI7ZLGRQBWWOHFJRBMHUJ3QZH3S6XB6HFHBRD6YWWEXLMBH4PGAC","feat: add #![warn(missing_docs)] on the way to deny and eventually forbid"]],"deps":["2E3D3TGY4B4L6VKJ6WKDHPS4BD5JNJM2I56RHHYZNVABUTGQUTPQC","75GWW2CE35HGTMQCKVBOZTHR5SIG5DDG2VX3VHXB5U3NAQ3OWCCQC"],"known":["ABFTXJS57ESOF4DIRYCYDJ3DLYCU5T7UIWB7HAUUXVQZ3LANAVMQC","RNXGJRK6TBSCXACJQ4RQXEYWPL7PJFUPYC7FWN5RNACKPWQYU4NAC","ERRF37DMR4GWXAHSLA5U4PKLK3AL3PGD4GP6YPEK3SHLN3AFY7MAC","CZI7ZLGRQBWWOHFJRBMHUJ3QZH3S6XB6HFHBRD6YWWEXLMBH4PGAC","Y26CTXMO7XJMHSZNRBCVQAPFAJZ2LOO47WI2V2LCZU6SG52VOP7QC","5V5RUGDG6RCDZU5ZJSBOMUDMPSUD7HQ5DXUQQPEPSGICQEGM6XOAC","G56KIGT4UWWMWBCNEEEN63TOCP3XAFSX4CK7MLNX664SDCT74K3AC"]},"hunks":[{"Replacement":{"inode":{"change":4,"pos":30},"path":"magus_core/src/vm.rs","line":12,"ins":{"up_context":[{"change":4,"pos":207}],"down_context":[{"change":4,"pos":264}],"flag":"BLOCK","start":0,"end":57,"inode":{"change":4,"pos":30}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":207},"to":{"change":4,"start":207,"end":264},"introduced_by":4}],"inode":{"change":4,"pos":30}},"ins_contents":[{"Add":" value::{ConsCell, Primitive, SymbolId, SymbolTable},"}],"del_contents":[{"Del":" value::{ListCell, Primitive, SymbolId, SymbolTable},\n"}]}},{"Replacement":{"inode":{"change":4,"pos":30},"path":"magus_core/src/vm.rs","line":80,"ins":{"up_context":[{"change":2,"pos":502}],"down_context":[{"change":2,"pos":564}],"flag":"BLOCK","start":58,"end":120,"inode":{"change":4,"pos":30}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":502},"to":{"change":2,"start":502,"end":564},"introduced_by":2}],"inode":{"change":4,"pos":30}},"ins_contents":[{"Add":" pub srl_registers: [Option>>; 255],"}],"del_contents":[{"Del":" pub srl_registers: [Option>>; 255],\n"}]}},{"Replacement":{"inode":{"change":4,"pos":385},"path":"magus_core/src/value.rs","line":61,"ins":{"up_context":[{"change":4,"pos":187}],"down_context":[{"change":4,"pos":1409}],"flag":"BLOCK","start":121,"end":155,"inode":{"change":4,"pos":385}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":187},"to":{"change":4,"start":24,"end":58},"introduced_by":4}],"inode":{"change":4,"pos":385}},"ins_contents":[{"Add":" List(Gc<'gc, ConsCell<'gc>>),"}],"del_contents":[{"Del":" List(Gc<'gc, ListCell<'gc>>),\n"}]}},{"Replacement":{"inode":{"change":4,"pos":385},"path":"magus_core/src/value.rs","line":97,"ins":{"up_context":[{"change":4,"pos":276}],"down_context":[{"change":4,"pos":304}],"flag":"BLOCK","start":156,"end":184,"inode":{"change":4,"pos":385}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":276},"to":{"change":4,"start":276,"end":304},"introduced_by":4}],"inode":{"change":4,"pos":385}},"ins_contents":[{"Add":" List(FreeConsCell<'a>),"}],"del_contents":[{"Del":" List(FreeListCell<'a>),\n"}]}},{"Replacement":{"inode":{"change":4,"pos":385},"path":"magus_core/src/value.rs","line":114,"ins":{"up_context":[{"change":4,"pos":835}],"down_context":[{"change":3,"pos":30}],"flag":"BLOCK","start":185,"end":215,"inode":{"change":4,"pos":385}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":835},"to":{"change":3,"start":0,"end":30},"introduced_by":3}],"inode":{"change":4,"pos":385}},"ins_contents":[{"Add":"pub struct FreeConsCell<'a> {"}],"del_contents":[{"Del":"pub struct FreeListCell<'a> {\n"}]}},{"Edit":{"inode":{"change":4,"pos":385},"path":"magus_core/src/value.rs","line":121,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":244},"to":{"change":3,"start":244,"end":436},"introduced_by":3}],"inode":{"change":4,"pos":385}}},"contents":[{"Del":"}\n\nimpl<'a> FreeListCell<'a> {\n /// Create an empty list cell (Scheme `'()`)\n pub const fn empty() -> Self {\n Self {\n car: None,\n cdr: None,\n }\n }\n"}]}},{"Replacement":{"inode":{"change":4,"pos":385},"path":"magus_core/src/value.rs","line":133,"ins":{"up_context":[{"change":4,"pos":1708}],"down_context":[{"change":3,"pos":464}],"flag":"BLOCK","start":216,"end":243,"inode":{"change":4,"pos":385}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":1708},"to":{"change":3,"start":437,"end":464},"introduced_by":3}],"inode":{"change":4,"pos":385}},"ins_contents":[{"Add":"pub struct ConsCell<'gc> {"}],"del_contents":[{"Del":"pub struct ListCell<'gc> {\n"}]}},{"Replacement":{"inode":{"change":4,"pos":385},"path":"magus_core/src/value.rs","line":139,"ins":{"up_context":[{"change":3,"pos":629}],"down_context":[{"change":3,"pos":655}],"flag":"BLOCK","start":244,"end":269,"inode":{"change":4,"pos":385}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":629},"to":{"change":3,"start":629,"end":655},"introduced_by":3}],"inode":{"change":4,"pos":385}},"ins_contents":[{"Add":"impl ConsCell<'static> {"}],"del_contents":[{"Del":"impl<'gc> ListCell<'gc> {\n"}]}},{"Edit":{"inode":{"change":4,"pos":385},"path":"magus_core/src/value.rs","line":145,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":800}],"down_context":[{"change":3,"pos":800}],"flag":"BLOCK","start":270,"end":965,"inode":{"change":4,"pos":385}}},"contents":[{"Add":" }"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"impl<'gc> ConsCell<'gc> {"},{"Add":" /// Checks if this cell represents an empty list."},{"Add":" pub fn is_empty_list(&self) -> bool {"},{"Add":" self.car.is_none() && self.cdr.is_none()"},{"Add":" }"},{"Add":""},{"Add":" /// Checks if this cell is a list"},{"Add":" pub fn is_list(&self) -> bool {"},{"Add":" if let Some(cdr) = self.cdr.as_ref() {"},{"Add":" matches!(cdr.as_ref(), Primitive::List(_))"},{"Add":" } else {"},{"Add":" // We are a list by virtue of resembling the empty list."},{"Add":" // Technically we have 2 representations of \"empty list\""},{"Add":" // - a cdr pointer of None (the pointed empty list)"},{"Add":" // - a ConsCell with both car and cdr set to None (the object empty list)"},{"Add":" true"}]}}],"owner":"Jengamon","repo":"magus","token":"G5pIcS4sDx7EM+GdYygQhgTdwx1Mj/80EodNI842omA=","login":null}

…

Dependencies

Change contents