[Haskell-cafe] Language extensions [was: Memoization]

[Ian Lynagh]

On Tue, May 29, 2007 at 12:41:19PM -0400, Isaac Dupree wrote:
> Simon Peyton-Jones wrote:
> > |  I wish the compilers would allow more fine grained switches on languages
> > | extensions. -fglasgow-exts switches them all on, but in most cases I'm
> > | interested only in one. Then typing errors or design flaws (like 'type
> > | Synonym = Type', instead of wanted 'type Synonym a = Type a'; extended
> > | instance declarations) are accepted without warnings.
> > 
> > Yes, we have an open Trac feature request for exactly this.
> 
> ticket # what?

http://hackage.haskell.org/trac/ghc/ticket/16

> I would think that preferable to inventing lots of compiler flags is
> reusing some of the names from the LANGUAGE pragma, where practical.

Agreed, as discussed in
http://www.haskell.org/pipermail/cabal-devel/2007-March/000460.html

I've also just added a note from an offline discussion that we should
use shorter names than I suggest in the above URL, and make them the
primary/only names.


Thanks
Ian