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 <vyzo at media.mit.edu> 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 >
