Are you using 'local-expand' and pulling apart the result somewhere?
Or is that what splice-expand means?
On Feb 28, 2009, at 1:15 PM, Dimitris Vyzovitis <[email protected]>
wrote:
I have been bothered by a weird certification bug, triggered by a
complex
sequence of expansions.
The error message is baffling:
compile: reference is more certified than binding in: cid
Here is a high-level description of the expansion:
There is a metadata descriptor identifier, that points to to certified
identifiers (timeout? and timeout.v in the trace below).
This identifier is used inside a macro, that eventually expands to a
rename-transformer.
This macro is used to splice-expand inside a match.
The effective expansion is:
(match ...
((? timeout? (app timeout.v cid))
... cid ...))
where cid was original syntax.
Any ideas?
-- vyzo
_________________________________________________
For list-related administrative tasks:
http://list.cs.brown.edu/mailman/listinfo/plt-dev
_________________________________________________
For list-related administrative tasks:
http://list.cs.brown.edu/mailman/listinfo/plt-dev
