When were GADTs introduced in GHC?

Question

When were GADTs introduced in GHC? (version + date)

Also, are they still considered a language extension or are they now part of the Haskell standard proper?

If you're interested in the history of GADTs you might want to look at this paper, [Silly Type Families](http://web.cecs.pdx.edu/~sheard/papers/silly.pdf). — augustss, Mar 14 '13 at 16:38

score 10 · Accepted Answer · answered Mar 14 '13 at 14:51

10

GADTs were first supported in ghc-6.4, which was released in March 2005.

They are still a language extension, the latest standard, Haskell2010, has not adopted them (since it was a GHC-only extension, afaik).

answered Mar 14 '13 at 14:51

Daniel Fischer

1 Answers1