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

[Isaac Dupree]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

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

(not me in the immediate future, maybe later)

ticket # what?

I would think that preferable to inventing lots of compiler flags is
reusing some of the names from the LANGUAGE pragma, where practical.
(To some extent, this goes along with Cabal needing help, and the idea
of compilers offering a "standard interface" to it, I guess)

Isaac
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFGXFeuHgcxvIWYTTURAscAAJ9pR57h5Gi/8cdSzNEAnClIJbwyiwCdGGE9
wRBJZf46GarajlroryJ7wMw=
=FVe+
-----END PGP SIGNATURE-----