Pull request to editline

Oleg Grenrus oleg.grenrus at iki.fi
Thu Mar 18 15:14:17 UTC 2021


Hi Judah,

I'm sending your an email, in case you haven't noticed GitHub notifications.
I have a PR https://github.com/judah/haskeline/pull/153 (now opened for
two months).
It's blocking work on Data.List specialization.

Also Ben have pinged you on https://github.com/judah/haskeline/issues/154
to make releases for 9.0.1 and 9.0.2.

It would be very great if my patch could be merged and released,
that should make editline ready for 9.2 and maybe even 9.4
(I think we are too late with refactor of Data.List for 9.2).

- Oleg



More information about the ghc-devs mailing list