4 ms·

Thanks for that link! I haven't seen that wiki page before. Even so, only 4 extensions have been removed. I know others are de facto deprecated, like Rank2Types

Thanks for that link! I haven't seen that wiki page before. Even so, only 4 extensions have been removed. I know others are de facto deprecated, like Rank2Types. I picked scoped type variables as an example because it's been in GHC since version 6.4. That was released in March 2005, so it had plenty of time to make it into the Haskell2010 language standard.

DanWaterworth 10y ago
I'd expect either Rank2Types or RankNTypes to be included in Haskell', you may be thinking of ImpredicativeTypes. Wow, I did not realize ScopedTypeVariables had been around for so long.
- taylorfausak 10y ago
  Sorry, I meant that you pretty much always want RankNTypes instead of Rank2Types. My fault for not specifying.