31 Dec
2011
31 Dec
'11
10:55 a.m.
| > And indeed there is such a function: it's called runQ. | > | > So I think what you want is already available. | | If there are no splices in the quote then, yes, that is sufficient. | However, as there is no function of type "forall m. Quasi m => m Exp | -> Q Exp", the contents of all splices must be of type "Q Exp". Thus | in the expression "[| ... $( foo ) ... |]" there is no way for foo to | modify the state of the memoization table. I'm sorry, I don't understand what you say here. You started your post by saying that you want quote to be of type forall m. Quasi m => m Exp But they already are! (With a newtype wrapper.) Simon