On Feb 4, 2010, at 8:58 AM, Simon Peyton-Jones wrote:
Unless I have a sudden revelation I don't expect to implement
pattern splices anytime soon.
On the other hand, pattern *quasiquotes* are fine; they are run by
the renamer before scope analysis is done. So you can certainly say
| If I understand Brad correctly, then what he needs is what he called
| pattern quotation rather than splicing.
...
|
| Is there a problem with adding support for pattern brackets on the
| right-hand side of function definitions in order to simplify the
| definition of quasi quoters?
Oh, thank
On Thu, Feb 4, 2010 at 5:47 AM, Sebastian Fischer
s...@informatik.uni-kiel.de wrote:
On Feb 4, 2010, at 8:58 AM, Simon Peyton-Jones wrote:
Unless I have a sudden revelation I don't expect to implement pattern
splices anytime soon.
On the other hand, pattern *quasiquotes* are fine; they are
I'll put my question at the very front of this message, and then give
the context.
My question: Are Template Haskell pattern quotations (i.e., [p| ...
|]) not implemented in GHC because they are rather tricky to
implement, or because there has not been demand for them?
And now, the context.
I
. That's my
non-expert take on the issue.
On Wed, Feb 3, 2010 at 7:32 PM, Brad Larsen brad.lar...@gmail.com wrote:
I'll put my question at the very front of this message, and then give
the context.
My question: Are Template Haskell pattern quotations (i.e., [p| ...
|]) not implemented in GHC
| My question: Are Template Haskell pattern quotations (i.e., [p| ...
| |]) not implemented in GHC because they are rather tricky to
| implement, or because there has not been demand for them?
They are tricky! The trouble is that patterns *bind variables*. I don't know
how to deal cleanly