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

[Simon Peyton-Jones]

|  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.  We keep not doing it for lack of bandwidth. Does anyone feel like taking it on?

Simon