evaluating syntax transformer threw unbound location first

Per Bothner per@bothner.com
Mon Dec 16 01:46:00 GMT 2013


On 12/14/2013 10:07 AM, Panicz Maciej Godek wrote:
> When I expand the code with Kawa's expander (from syntax-utils),
> the unquotes indeed remain in the resulting code:
> ...
> What is the reason of this discrepancy and how could one possibly
> overcome it?

Nothing obvious comes to mind, and I'm a little overwhelmed right now.

Note the expand procedure is an approximation.  It does expansion
in a different context than the normal, and the translation back
to Scheme forms is an approximation. However, the presence of the
TemplateScope forms and calls in the output does suggest some
incomplete expansion.

Do note that the reader expands:
   datum1:datum2
to:
   ($lookup$ datum1 (quasiquote datum2))
-- 
	--Per Bothner
per@bothner.com   http://per.bothner.com/



More information about the Kawa mailing list