@-bindings broken in 6.0?

[Ketil Z. Malde]

"Simon Peyton-Jones" <simonpj@microsoft.com> writes:

> Yes, I'm afraid so.  With -fglasgow-exts Template Haskell captures
> 	[t|  ...  |]
> and
> 	[p| ... |]
> and similarly [d| and [e| 
> for quotations.

I had a similar experience when I defined the (?) operator.  Which
obviously clashes with the syntax for implicit paramters, unless
surrounded by spaces.

> But maybe this isn't what you found?    Better syntax here would be
> welcome if anyone can think of some. 

I think lumping all these extensions under one switch is the
problem.  I find it hard to do useful stuff without some extensions,
but would rather not be bitten by this kind of things.

Isn't it possible to provide e.g. implicit parameters and template
Haskell as "magical modules"?  So that "import Template" enables the
syntax above, and I could use "import MultiParameterTCs" but not
"ImplicitParams", for instance?

Or at least, provide different -fglasgow-exts flags to fine tune which
extensions are being used.

-kzm
-- 
If I haven't seen further, it is by standing in the footprints of giants