Track material creases through def line-parameters #46

New issue

Open

opened 2026-07-03 13:18:28 +00:00 by toph · 0 comments

toph commented

2026-07-03 13:18:28 +00:00

Owner

Follow-up to #28 (PR #43). Passing a named crease as a def line-parameter snapshots it to Frozen at call time (eval.ml, the ``Line, ALinearm), so inside the body--paramno longer tracks later folds and--( --param #(...) )` errors "not a physical crease, so it has no flaps".

Materiality is preserved on export/instance access but lost on parameter passing — an asymmetry deferred from PR2. Thread the crease's identity (its crease_id) through the parameter binding so a material crease stays material inside the def body.

Follow-up to #28 (PR #43). Passing a named crease as a `def` line-parameter snapshots it to `Frozen` at call time (`eval.ml`, the ``Line, ALine` arm), so inside the body `--param` no longer tracks later folds and `--( --param #(...) )` errors "not a physical crease, so it has no flaps". Materiality is preserved on export/instance access but lost on parameter passing — an asymmetry deferred from PR2. Thread the crease's identity (its `crease_id`) through the parameter binding so a material crease stays material inside the def body.

toph referenced this issue

2026-07-03 13:18:52 +00:00

Make named creases material; add flap operands (#28) #43

No labels

No milestone

No project

No assignees

1 participant

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

toph/beloch#46

No description provided.

Rows
Columns