[02:50:57] Does anyone want to help me get this to work: Z18471. Does the argument type mismatch mean that even the function mapped must have "object" type inputs and outputs? [05:07:36] It seems to work with Z17144 🤷‍♂️ (re @Toby: Does anyone want to help me get this to work: Z18471. Does the argument type mismatch mean that even the function mapped must ha...) [05:09:47] Whoops! That's what I meant to use in the first place. Thanks. (re @Al: It seems to work with Z17144 🤷‍♂️) [05:20:06] That was actually an attempt to test a piece of this, which I still can't get to work: Z18470 [07:43:12] We now have 1492 functions according to [[Special:ListObjectsByType/Z8]] [17:50:30] 🤔 It seems that Z973 returns an untyped (Z1) list. I created an unpublished implementation of Z17770 that passed the test by returning a reversed untyped list of integer elements (mapping echo over the iterable and reversing the result with Z12668). If you wrap that in a coded list echo function, you should get a typed list back. [I may get a chance to try this later, but [17:50:31] prob [17:50:31] ably not today.] (re @Toby: That was actually an attempt to test a piece of this, which I still can't get to work: Z18470) [18:38:26] Z18473 enables all tests to pass for Z12668. (re @Toby: That was actually an attempt to test a piece of this, which I still can't get to work: Z18470) [23:01:23] Didn’t need a wrapper after all. I created a separate function for typed lists and relabelled the existing one for untyped lists: Z18479. Z18473 is now disconnected and should probably be deleted. (re @Toby: That was actually an attempt to test a piece of this, which I still can't get to work: Z18470)