Let's play Name That Extension!

[Stefan O'Rear]

On Fri, Mar 30, 2007 at 08:41:47PM -0700, Stefan O'Rear wrote:
> A large number of the newer GHC extensions have no cabal name.  This
> is a very bad situation because if Hugs/yhc/etc were to gain support
> for (say) GADTs, it would not be possible to run cabal programs that
> require them, since the way programs specify dependency is with
> -fglasgow-exts.  Also, what is the protocol for requesting cabal
> extension names?  I've many Cool Extension Ideas for my haskeell impl
> project (nowhere near done). 

Forgot to mention...

Some of the existing extensions are not self explanatory.  How
flexible are FlexibleInstances and FlexibleContexts?  Does Rank2Types
involve the old GHC restrictions? (no pattern bindings, no partial
application, etc) Does RankNTypes include impredicativity?  Are
ScopedTypeVariables 6.4 style, 6.6 style, (ML style)?  What is a
ContextStack?  What are Generics?  And the last two made no sense
before I read the Hugs User Guide last(?) week.  The others are fine
however. 

Stefan