Skip to content

morphe 1.0.5

Choose a tag to compare

@GregoryGelfond GregoryGelfond released this 10 Sep 11:36
· 6 commits to main since this release

Fixed

  • morphe --reorder no longer fails with an internal error on a program that
    reorders any statement while carrying a #script … #end. whose body has trailing
    spaces or tabs before #end. morphe re-emits such a body with those blanks
    trimmed (its value), but the permutation proof compared the body's raw text, so
    it saw the held #script barrier as moved and refused its own correct output
    (exit 70). The proof now reads each token's content through the syntax tier's
    own projection — a script body by its value — the same rule the layout
    certificate already applies, so the barrier certifies and the reorder succeeds.
    Formatting without --reorder was never affected.

Internal

  • Rebuilt against a newer themelios-syntax, adopted by a deliberate rev-bump.
    The tier's public surface was regularized — comment attachment now yields a typed
    comment where it yielded a bare token — and morphe reads the same underlying
    token from it, so comment placement, the layout, and the certificate are
    unchanged.