[Joypy-announce] joypy/Joypy: New combinator infrst == infra first

Back to archive index
scmno****@osdn***** scmno****@osdn*****
Tue Jul 16 04:30:55 JST 2019


changeset d3b42dfd8a60 in joypy/Joypy
details: http://hg.osdn.jp/view/joypy/Joypy?cmd=changeset;node=d3b42dfd8a60
user: Simon Forman <sform****@hushm*****>
date: Mon Jul 15 12:28:01 2019 -0700
description: New combinator infrst == infra first

Three uses means it's time for a refactor.

diffstat:

 thun/thun.pl |  8 ++++----
 1 files changed, 4 insertions(+), 4 deletions(-)

diffs (27 lines):

diff -r ab35da49303e -r d3b42dfd8a60 thun/thun.pl
--- a/thun/thun.pl	Mon Jul 15 11:20:13 2019 -0700
+++ b/thun/thun.pl	Mon Jul 15 12:28:01 2019 -0700
@@ -137,9 +137,8 @@
 /*
 Definitions
 */
-
-app1 ≡ [grba, infra, first].
-app2 ≡ [[grba, swap, grba, swap], dip, [infra, first], cons, ii].
+app1 ≡ [grba, infrst].
+app2 ≡ [[grba, swap, grba, swap], dip, [infrst], cons, ii].
 at ≡ [drop, first].
 b ≡ [[i], dip, i].
 binary ≡ [unary, popd].
@@ -155,9 +154,10 @@
 ifte ≡ [[nullary], dipd, swap, branch].
 ii ≡ [[dip], dupdip, i].
 infra ≡ [swons, swaack, [i], dip, swaack].
+infrst ≡ [infra, first].
 make_generator ≡ [[codireco], ccons].
 neg ≡ [0, swap, -].
-nullary ≡ [stack, popd, [i], infra, first].
+nullary ≡ [stack, popd, [i], infrst].
 of ≡ [swap, at].
 pm ≡ [[+], [-], cleave, popdd].
 popd ≡ [[pop], dip].


More information about the Joypy-announce mailing list
Back to archive index