{"header":{"message":"feat: add decimal lex/parse","description":null,"timestamp":"2024-02-28T14:29:48.992986Z","authors":[{}]},"hash":"YOZBOIICKWWMCBXLBSQBACSKM6I4APCXRVOLFP7B46TXXHKBJRWQC","authors":[{"login":"Jengamon","key":"AFEuLzv5ecUJzaewFwoWh4jeCDqWZztr7dswYwyG9vfU"}],"deps":{"hashes":[["YOZBOIICKWWMCBXLBSQBACSKM6I4APCXRVOLFP7B46TXXHKBJRWQC","feat: add decimal lex/parse"],["AA",null],["C6KYXU274XZV4ZAT3K5DELTMHBMC42K5FDF4SN6LSCNFNCRVYSLAC","fix: store integer as (base, exp) rather than realize"],["4CWI65HNTD3X3OP25QJOAO5B5QMCMNQFQJ4BUMQKBDUVVXKRWEOQC","feat: initial project structure"],["R4Z6MXFX7FJZGNZVCTO54ATZBCJVB4ERAFHRKXXKQEB5GQQ5DO6AC","feat: make progress on initial lexer"],["HJAFCFNCO6CM326HWPH7BXLTPIFCYVTRSITBCGLYBXACJJOL3JCQC","feat: add integer lex/parse"]],"deps":["C6KYXU274XZV4ZAT3K5DELTMHBMC42K5FDF4SN6LSCNFNCRVYSLAC"],"known":["4CWI65HNTD3X3OP25QJOAO5B5QMCMNQFQJ4BUMQKBDUVVXKRWEOQC","R4Z6MXFX7FJZGNZVCTO54ATZBCJVB4ERAFHRKXXKQEB5GQQ5DO6AC","HJAFCFNCO6CM326HWPH7BXLTPIFCYVTRSITBCGLYBXACJJOL3JCQC"]},"hunks":[{"Replacement":{"inode":{"change":3,"pos":2078},"path":"magus_core/src/lib.rs","line":7,"ins":{"up_context":[{"change":3,"pos":894}],"down_context":[{"change":3,"pos":927}],"flag":"BLOCK","start":0,"end":52,"inode":{"change":3,"pos":2078}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":894},"to":{"change":3,"start":894,"end":927},"introduced_by":3}],"inode":{"change":3,"pos":2078}},"ins_contents":[{"Add":" use std::num::{ParseFloatError, ParseIntError};"}],"del_contents":[{"Del":" use std::num::ParseIntError;\n"}]}},{"Edit":{"inode":{"change":3,"pos":2078},"path":"magus_core/src/lib.rs","line":147,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":1599}],"down_context":[{"change":3,"pos":1599}],"flag":"BLOCK","start":53,"end":278,"inode":{"change":3,"pos":2078}}},"contents":[{"Add":" }"},{"Add":""},{"Add":" #[derive(thiserror::Error, Debug)]"},{"Add":" pub enum DecimalParseError {"},{"Add":" #[error(transparent)]"},{"Add":" FloatError(#[from] ParseFloatError),"},{"Add":" #[error(transparent)]"},{"Add":" IntError(#[from] ParseIntError),"}]}},{"Replacement":{"inode":{"change":3,"pos":2078},"path":"magus_core/src/lib.rs","line":157,"ins":{"up_context":[{"change":3,"pos":1606}],"down_context":[{"change":3,"pos":4798}],"flag":"BLOCK","start":279,"end":2416,"inode":{"change":3,"pos":2078}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":3,"pos":1606},"to":{"change":3,"start":4742,"end":4798},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":4742},"to":{"change":3,"start":4742,"end":4798},"introduced_by":3}],"inode":{"change":3,"pos":2078}},"ins_contents":[{"Add":" fn decimal_number_parser(input: &mut &str) -> PResult<(f64, i32)> {"},{"Add":" let sign = || opt(one_of(['-', '+']));"},{"Add":" let digits_with_underscores = || {"},{"Add":" repeat(1.., alt((digit1.map(Some), '_'.map(|_| None))))"},{"Add":" .map(|vd: Vec>| vd.into_iter().flatten().collect::>().join(\"\"))"},{"Add":" };"},{"Add":" let float_digits = || {"},{"Add":" ("},{"Add":" opt(digits_with_underscores()),"},{"Add":" '.',"},{"Add":" digits_with_underscores(),"},{"Add":" )"},{"Add":" .map(|(maybe_predot, _, postdot)| {"},{"Add":" maybe_predot"},{"Add":" .map(|predot| format!(\"{predot}.{postdot}\"))"},{"Add":" .unwrap_or_else(|| format!(\".{postdot}\"))"},{"Add":" })"},{"Add":" };"},{"Add":" let signed_base = (sign(), alt((float_digits(), digits_with_underscores()))).map("},{"Add":" |(sign, digits): (_, String)| {"},{"Add":" if let Some(sign) = sign {"},{"Add":" format!(\"{sign}{digits}\")"},{"Add":" } else {"},{"Add":" digits"},{"Add":" }"},{"Add":" },"},{"Add":" );"},{"Add":" let exponent = preceded(\"e\", (sign(), digits_with_underscores()));"},{"Add":" (signed_base, opt(exponent))"},{"Add":" .try_map(|(base, maybe_exp)| {"},{"Add":" let base = base.parse::()?;"},{"Add":" let exponent = if let Some((sign, exponent)) = maybe_exp {"},{"Add":" let signed = if let Some(sign) = sign {"},{"Add":" format!(\"{sign}{exponent}\")"},{"Add":" } else {"},{"Add":" exponent"},{"Add":" };"},{"Add":" signed.parse::()?"},{"Add":" } else {"},{"Add":" 0"},{"Add":" };"},{"Add":" Ok::<_, DecimalParseError>((base, exponent))"},{"Add":" })"},{"Add":" .parse_next(input)"},{"Add":" }"},{"Add":""},{"Add":" fn parse_float(lexer: &mut Lexer) -> Result<(f64, i32), LexError> {"},{"Add":" let target = lexer.slice();"},{"Add":" decimal_number_parser.parse(target).map_err(|e| {"},{"Add":" // TODO A proper lex error"},{"Add":" dbg!(std::any::type_name_of_val(&e));"},{"Add":" LexError::Unknown"},{"Add":" })"},{"Add":" }"},{"Add":""},{"Add":" #[derive(Debug, Clone, PartialEq, Logos)]"}],"del_contents":[{"Del":" #[derive(Debug, Clone, PartialEq, Eq, Hash, Logos)]\n"}]}},{"Replacement":{"inode":{"change":3,"pos":2078},"path":"magus_core/src/lib.rs","line":233,"ins":{"up_context":[{"change":2,"pos":242}],"down_context":[{"change":3,"pos":5766}],"flag":"BLOCK","start":2417,"end":2795,"inode":{"change":3,"pos":2078}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":2,"pos":242},"to":{"change":3,"start":5533,"end":5749},"introduced_by":2},{"previous":"","flag":"DELETED","from":{"change":3,"pos":1784},"to":{"change":3,"start":5533,"end":5749},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":5533},"to":{"change":3,"start":5533,"end":5749},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":5749},"to":{"change":3,"start":1785,"end":1855},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":1855},"to":{"change":3,"start":5749,"end":5766},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":5749},"to":{"change":3,"start":5749,"end":5766},"introduced_by":3}],"inode":{"change":3,"pos":2078}},"ins_contents":[{"Add":" #[regex(r\"[+-]?[0-9][0-9_]*\\.[0-9][0-9_]*\", parse_float)]"},{"Add":" #[regex(r\"[+-]?[0-9][0-9_]*\\.[0-9][0-9_]*e[+-]?[0-9_]+\", parse_float)]"},{"Add":" #[regex(r\"[+-]?\\.[0-9][0-9_]*\", parse_float)]"},{"Add":" #[regex(r\"[+-]?\\.[0-9][0-9_]*e[+-]?[0-9_]+\", parse_float)]"},{"Add":" #[regex(r\"[+-]?[0-9][0-9_]*e\\-[0-9_]+\", parse_float)] // Negative exponent"},{"Add":" Decimal((f64, i32)),"}],"del_contents":[{"Del":" #[regex(r\"[+-]?[0-9][0-9_]*\\.[0-9]?[0-9_]*\")]\n #[regex(r\"[+-]?[0-9][0-9_]*\\.[0-9]?[0-9_]*e[+-]?[0-9_]+\")]\n #[regex(r\"[+-]?\\.[0-9][0-9_]*\")]\n #[regex(r\"[+-]?\\.[0-9][0-9_]*e[+-]?[0-9_]+\")]\n"},{"Del":" #[regex(r\"[+-]?[0-9][0-9_]*e\\-[0-9_]+\")] // Negative exponent\n"},{"Del":" Decimal,\n"}]}}],"owner":"Jengamon","repo":"magus","token":"7HD8u7Z2+mVhXLKNd8iV4qeLqj6YYnthAnKB1rd5Wfg=","login":null}

…

Dependencies

Change contents