Zulip Chat Archive
Stream: PR reviews
Topic: !4#2945
Scott Morrison (Mar 29 2023 at 05:55):
Could someone please look at / merge !4#2945, which ports data.mllist (monadic lazy lists). It is now unsafe, rather than meta, but I don't think particularly complicated. I have several nice bits of meta code that want to use this!
Eric Wieser (Mar 29 2023 at 08:57):
Is there a reason you didn't use start_port.sh for this file?
Scott Morrison (Mar 29 2023 at 09:19):
Sorry, Johan has already pointed out the same thing. I'll try to remember to always use it. :-)
Last updated: Dec 20 2023 at 11:08 UTC