Allowing default shell, and renaming it to shell.ml

Madx

Feb 2, 2026, 10:24 PM

6BIP2OPVOFSOHOFNNRARTKNZFRZH7IDZOAJEPW33KKFGMSDIALYQC

Dependencies

• [2] ODUDDQRY Adding the OCaml interface
• [3] P27ILID2 Frontend: starting the connection before linking
• [*] UWQB743K First working shell (with ocaml code)

Change contents

• replacement in elpe/bin/elpe_bin.ml at line 89
  [2.75152]→[2.75152:75225](∅→∅)
  − and files = anon (non_empty_sequence_as_list ("file" %: string)) in
  [2.75152]

  [2.75225]
  + and files = anon (sequence ("file" %: string)) in
• replacement in elpe/bin/elpe_bin.ml at line 93
  [3.1032]→[3.1032:1109](∅→∅)
  − (let* _ = compile (if files = [] then [ "build.ml" ] else files) in
  [3.1032]

  [3.1109]
  + (let* _ = compile (if files = [] then [ "shell.ml" ] else files) in