Remove IOPort# and operations from GHC.Exts

[bgamari]

We propose to remove the following exports from GHC.Exts:

data IOPort# s a
newIOPort# :: State# s -> (# State# s, IOPort# s o #)
readIOPort# :: IOPort# s o -> State# s -> (# State# s, o #)
writeIOPort# :: IOPort# s o -> o -> State# s -> (# State# s, Int# #)

These expose the IOPort# type used internally to implement WinIO. The semantics of this type are not of use to end users and there are no users on Hackage. We intend to remove this type from GHC as it is no longer used.

[hasufell]

I think I'd be fine with removing these without deprecation, unless someone can come up with an example how these might be used.

Unless other members have an argument why we should apply a deprecation policy without exceptions.

[bgamari]

Can we bring this to a vote?

[tomjaguarpaw]

+1

---

Even if someone was using them, if the type is no longer used in GHC then it won't be usable for that use case ...

[Bodigrim]

Dear CLC members, let's vote on the proposal to remove IOPort# and operations on it from GHC.Exts as explained above.

@hasufell @mixphix @velveteer @angerman @parsonsmatt

---

+1 from me. Indeed there are no users of IOPort# outside of ghc-* packages.

[velveteer]

+1

[mixphix]

+1

[hasufell]

+1

[Bodigrim]

Thanks all, that's enough votes to approve.

[bgamari]

This will ultimately be implemented in !8776