On 2024/11/18 21:56, حبيب محمد الأمين محمد الهادي wrote:
> > 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?

Unknown, there are at least a few bootstrap problems in ports to figure
out first. It's been a while since the last set of tests.