All pull requests

Pull requests

• fix: #2255 read \1 to \9 in a sed replacement as the groups they name

  #2293·sherenkov opened Nov 6, 2026Contributor·

  ·
  1

  2

• fix: #2289 supply missing _placed argument in benchmark symbolicCtx

  #2290·opusstudiohq-max opened Nov 6, 2026Contributor·

  ·
  1

• ci: run checks on the benchmark pull request

  #2283·macoladik opened Nov 6, 2026Contributor·

  ·
  2

  

• fix(#2249): refuse a condition that compares different kinds

  #2282·macoladik opened Nov 6, 2026Contributor·

  ·
  1

  3

  

• fix(#2250): report a loop that returns to the term a rewrite starts from

  #2280·macoladik opened Nov 6, 2026Contributor·

  ·
  1

  2

• #2256: include 'option' in validateXmirOptions error message

  #2257·opusstudiohq-max opened Nov 4, 2026Contributor·

  ·
  1

  2

• docs(#2137): show the morph --max-steps failure message

  #2251·macoladik opened Nov 2, 2026Contributor·

  ·
  1

  2

  

• fix(#2222): force UTF-8 on argv and stderr whatever the locale

  #2246·macoladik opened Oct 30, 2026Contributor·

  ·
  1

  3

  

• fix(#1079): build when/having conditions without swallowing exceptions

  #2247·macoladik opened Oct 30, 2026Contributor·

  ·
  1

  3

  

• fix(#1919): work out an argument that comes to a hanging formation

  #2248·macoladik opened Oct 30, 2026Contributor·

  ·
  1

  3

  

• fix: #1942 refuse --headers without --sequence in rewrite, dataize and morph

  #2245·opusstudiohq-max opened Oct 30, 2026Contributor·

  ·
  1

  2

• #1770: keep type and args of the voids of an atom through xmir

  #2244·morphqdd opened Oct 30, 2026Contributor·

  ·
  1

  2

• #1771: give clashing λ names of merged xmir files a suffix

  #2243·morphqdd opened Oct 30, 2026Contributor·

  ·
  1

  1

• #2083: refuse a where step with the wrong number or kind of arguments

  #2242·morphqdd opened Oct 30, 2026Contributor·

  ·
  1

  2

• #2082: refuse a where step whose function cannot return the kind of its meta

  #2241·morphqdd opened Oct 30, 2026Contributor·

  ·
  1

  2

• fix: #2087 prefix where function macros with phino to avoid TeX collisions

  #2240·opusstudiohq-max opened Oct 30, 2026Contributor·

  ·
  1

  2

  

• #2076: give every λ marker of xmir its own derived name

  #2239·morphqdd opened Oct 30, 2026Contributor·

  ·
  1

  1

• #2071: read a label with a leading plus or minus in phi

  #2238·morphqdd opened Oct 30, 2026Contributor·

  ·
  1

  2

• #1767: protect the text of a string literal in latex output

  #2237·morphqdd opened Oct 30, 2026Contributor·

  ·
  1

  2

• #2086: write the nameref key of a rule with characters pdflatex can expand

  #2236·morphqdd opened Oct 30, 2026Contributor·

  ·
  1

  3

• #2087: write number, string, sum and tau as phino macros in latex

  #2235·morphqdd opened Oct 30, 2026Contributor·

  ·
  1

  1

• #2067: count the width of :attr on the last line of the asset only

  #2234·morphqdd opened Oct 30, 2026Contributor·

  ·
  1

  1

• #2074: keep an asset between voids in its place when printing

  #2233·morphqdd opened Oct 30, 2026Contributor·

  ·
  1

  4

• #2069: refuse U+FFFE and U+FFFF in xmir names, escape them in listing

  #2232·morphqdd opened Oct 30, 2026Contributor·

  ·
  1

  1

• fix: #1941 commit to named arguments once the first one starts, so a typo inside the list is reported where it is

  #2231·sherenkov opened Oct 30, 2026Contributor·

  ·
  1

  4