Extension.hs ForallXXX constraints

I have got back into some GHC dev, and noticed that the various ForallXXX type synonyms in Extension.hs are unused in GHC. In the early iteration, they were needed, but it seems not any more. Is there any reason they should not be removed? Alan

Somehow, I remember this conversation coming up recently, and I thought it was decided to remove these. Indeed, I'm surprised they're still around. Strike them down! Thanks, Richard
On Jan 8, 2020, at 10:38 PM, Alan & Kim Zimmerman
wrote: I have got back into some GHC dev, and noticed that the various ForallXXX type synonyms in Extension.hs are unused in GHC.
In the early iteration, they were needed, but it seems not any more.
Is there any reason they should not be removed?
Alan _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
participants (2)
-
Alan & Kim Zimmerman
-
Richard Eisenberg