lix/doc/manual/rl-next/formal-order.md
pennae ba17f6d837 normalize formal order on ExprLambda::show
we already normalize attr order to lexicographic, doing the same for
formals makes sense. doubly so because the order of formals would
otherwise depend on the context of the expression, which is not quite as
useful as one might expect.

(cherry picked from commit 4147ecfb1c51f3fe3b4adcbd4e753fd487dab645)
Change-Id: I3fd0dbdef3ac7447a3a03ff20bb514a0d0f23fb1
2024-03-18 07:56:34 -06:00

268 B

synopsis prs
consistent order of lambda formals in printed expressions 9874

Always print lambda formals in lexicographic order rather than the internal, creation-time based symbol order. This makes printed formals independent of the context they appear in.