I like (1) quite a lot. If radical suggestions for QQ noise reduction are being entertained, here's another:
quotations of the form [| .... |] (i.e. no 'language' specified) will use an implicit parameter* ('quasi', say) of type QuasiQuoter, if in scope. Otherwise, they will behave as they currently do (TH expression quotation?). Now to awaken the 'pads' magic (or some other magic), you'd do this somewhere: quasi = pads and then all your [| .... |]'s would be pads expressions/patterns/declarations. Rob * - implicit parameters fill me with a nameless dread under normal circumstances. _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users