pijul nest
guest [sign in]

Looking up alternatives: fixing a bug

pmeunier
Jun 9, 2025, 7:19 AM
APRNC3CWRUYCHBLNL4WBO7VIWOTFAX6SYTHMXTSWJUSSQNWEIA3AC

Dependencies

  • [2] ODUDDQRY Adding the OCaml interface
  • [3] UWQB743K First working shell (with ocaml code)

Change contents

  • edit in src/extract.rs at line 553
    [2.29023]
    [2.29023]
    let stack_len = stack.len();
  • replacement in src/extract.rs at line 566
    [2.29662][2.29662:29698]()
    return;
    [2.29662]
    [2.29698]
    break;
  • replacement in src/extract.rs at line 569
    [3.37503][2.29725:29777]()
    panic!("Not found: {:?}", alt);
    [3.37503]
    [3.37503]
    if stack.len() == stack_len {
    panic!("Not found: {:?}", alt);
    }