[plt-scheme] reference is more certified than binding

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Sun Apr 15 05:18:02 EDT 2007

At Thu, 12 Apr 2007 09:36:53 -0400, "Jay McCarthy" wrote:
> I got the
> 
> reference is more certified than binding
> 
> error. [...]
>
> But, I don't know how to fix my code to not give it. Is there a standard
> trick?

No, it's difficult for me to guess how this happens. I'm sure I've seen
that error in practice, but I don't remember what I did wrong or how I
fixed it.

Are you using things like `syntax-local-certifier' and/or
`syntax-local-introduce'? Can you extract a smallish example?

Matthew



Posted on the users mailing list.