Théophile Choutri
Results
4
comments of
Théophile Choutri
@informatikr @DougBurke Would you be open to a PR that fixes this behaviour?
@martijnbastiaan Very well. :)
@tibbe hopeful ping? :)
I believe this is going to become a more widespread issue as more codebases enter GHC2021. @ndmitchell If you know the path to resolution it could be interesting to send...