"Simon Peyton-Jones"
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