Fabian Schmalzried (Dec 12 2025 at 11:54): Fabian Schmalzried (Dec 12 2025 at 11:54):I noticed that List.append to an empty list does not work, so I had a quick look and found a fix. (Empty lists are treated as listOfZst, but when adding they should be normal lists.)
But this lead me to a problem when appending a zst (empty record) to an empty list, so I tried to fix that. Then addint a zst to a listOfZst that was not empty did not work anymore. So I had a look at that and played around with the code and representation of empty records.
Long story short: Here is a draft PR that I don't know how to continue: #8645
I think the first commit kind of makes sense, the rest I'm not sure. Maybe someone with more knowledge can use this as a starting point or let me know what to do.
Richard Feldman (Dec 12 2025 at 13:42):thanks! I can pick it up :smiley:
Last updated: Dec 21 2025 at 12:15 UTC