Interpreter and library.
Révision | d0a253c503988e5a8f002f7e7d855e1753002c24 (tree) |
---|---|
l'heure | 2022-04-06 03:15:34 |
Auteur | ![]() |
Commiter | Simon Forman |
Need to keep definition for ucons around
the Nim implementation has first and rest but not uncons.
@@ -18,7 +18,7 @@ b [i] dip i | ||
18 | 18 | binary unary popd |
19 | 19 | ccccons ccons ccons |
20 | 20 | ccons cons cons |
21 | -clear stack bool [pop stack bool] loop | |
21 | +clear [] swaack pop | |
22 | 22 | cleave fork popdd |
23 | 23 | clop cleave popdd |
24 | 24 | codi cons dip |
@@ -33,6 +33,7 @@ dupdd [dup] dipd | ||
33 | 33 | dupdip dupd dip |
34 | 34 | dupdipd dup dipd |
35 | 35 | enstacken stack [clear] dip |
36 | +first uncons pop | |
36 | 37 | flatten <{} [concat] step |
37 | 38 | fork [i] app2 |
38 | 39 | fourth rest third |
@@ -65,7 +66,7 @@ quoted [unit] dip | ||
65 | 66 | range [0 <=] [1 - dup] anamorphism |
66 | 67 | range_to_zero unit [down_to_zero] infra |
67 | 68 | reco rest cons |
68 | -rest [pop] infra | |
69 | +rest uncons popd | |
69 | 70 | reverse <{} shunt |
70 | 71 | roll> swap swapd |
71 | 72 | roll< swapd swap |
@@ -96,6 +96,7 @@ ternary binary popd | ||
96 | 96 | third rest second |
97 | 97 | tuck dup swapd |
98 | 98 | unary nullary popd |
99 | +uncons [first] [rest] cleave | |
99 | 100 | unit [] cons |
100 | 101 | unquoted [i] dip |
101 | 102 | unswons uncons swap |