> Don't let my focus on getting the ports done discourage you from
> contributing as much as possible upstream. I'm all for making GHC
> better for everybody.

As soon as I have the time to pick this up again, I'll focus on landing
these improvements upstream. My work situation has been… non-existent
for the past couple years, sadly, so I can't get too distracted.

> I very much appreciate your work on this. You took it over the hump that
> I was not finding the energy to surmount. Thank you!

You gave me a big boost even before you started sending patches when you
popped up with your second ever message in the thread to say that you're
following my progress. You have no idea how much that little comment
helped.

> Yeah, that's another way to do it. If we have a sure-fire way to
> cross-build, I won't say not to that. So, Habib, you send a cleaned set
> of patches I'll happily use the option. You could also push the git tree
> somewhere, e.g. propose an MR to my tree on gitlab.

I'll see if I can get it done next weekend (not this upcoming one). When
is this opaque FILE thing set to land?

Cheers,
Habib