This is the mail archive of the
kawa@sourceware.org
mailing list for the Kawa project.
Re: evaluating syntax transformer threw unbound location first
- From: Per Bothner <per at bothner dot com>
- To: Panicz Maciej Godek <godek dot maciek at gmail dot com>
- Cc: kawa at sourceware dot org
- Date: Sun, 15 Dec 2013 17:45:51 -0800
- Subject: Re: evaluating syntax transformer threw unbound location first
- Authentication-results: sourceware.org; auth=none
- References: <CAMFYt2ZnTnpc7FXhFhUpcD3=uyyWT+q4nkfNjjPLo-RyBcAMKA at mail dot gmail dot com> <52AC04DB dot 2070700 at bothner dot com> <CAMFYt2ZzemScXfB6bLvTdqZp7nW6prgK=vev_0g---1nNOykow at mail dot gmail dot com>
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/