This is the mail archive of the kawa@sourceware.org mailing list for the Kawa project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: evaluating syntax transformer threw unbound location first


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/


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]