14:28 <Bjartr> I'm trying to apply a function by retrieving a list of argument-names and function body, then combine those with actual argument values

14:28 <Bjartr> This is eventually intended to be a teaching example, where the body gets reversed before being used, as an example of "code is data", not a practical/useful thing. My current attempt and a little more info, including the error message is here:

14:28 <Bjartr> https://gist.github.com/OneGeek/da81d46c939d13eb20add4753ae142fd

14:29 <Bjartr> At this point I suspect I'm missing something fundamental

14:43 <bremner> Bjartr: maybe the macro stepper can help you see what is going on there

14:44 <bremner> I guess it's most likely related to hygiene, but I didn't look very closely

14:48 <Bjartr> bremner: Thanks, I'll look up how to use that

19:36 <spdegabrielle> Type Tailoring Teach an Old Type Checker New Tricks by Ashton Wiersdorf at the (fourteenth RacketCon) is now available at https://youtu.be/rmPCstrSQOA