[Haskell-cafe] about GADTs on ghci

[Thomas Schilling]

On Tue, 2007-11-27 at 19:11 +0000, Andrew Coppin wrote:
> Luke Palmer wrote:
> > You can also put the line
> >
> > {-# OPTIONS_GHC -fglasgow-exts #-}
> >
> > At the top, to turn on glasgow extensions whenever GHC compiles this file.
> >   
> 
> I was under the impression that it's better to use the LANGUAGE pragma 
> rather than the catch-all Glasgow-exts option. However, I can't actually 
> find a language option for GADTs... somebody care to clarify?

{-# LANGUAGE GADTs #-}

:)  (really!)