> not sure if this is a bug or a feature, but on my ghc 6.2, > -fglasgow-exts > -fno-th still allows Template Haskell. > > Is that the correct way for ghc to behave? It doesn't do that for me (and it shouldn't). Could you give more details? Cheers, Simon