Currently it just isn't supported. Suppose you say
f x = [| $(g y) |]
...$(f 3)
Does $(f 3) mean run (f 3) returning some code with embedded splices, and then
run those, or does it mean (as now) call (f 3), and to do so run (g y) first,
to generate some code that is spliced into
On Mon, Mar 23, 2015 at 3:43 PM, Simon Peyton Jones
simo...@microsoft.com wrote:
A quasiquoter is really a splice. That is [foo| blah |] is the same as
$(foo blah). So it might be easier to discuss your question in the
context of ordinary splices and quotes. You want foo to return code
with
