[plt-scheme] check-expect not allowed in expression position?

From: Danny Yoo (dyoo at cs.wpi.edu)
Date: Wed Mar 31 14:41:28 EDT 2010

>> After seeing the error, I now understand that I misused
>> syntax-local-lift-module-end-declaration, which says that, in the way
>> I'm using it, eventually the thing being lifted will be expanded in
>> expression context.  Of course, this isn't what I want: I want to lift
>> a syntax up to the module or top-level context.  I can't find the
>> right primitive that does this.  Am I missing something obvious?
> At a more meta level, you're never gonna get this because it has nasty
> paradox problems for definitions. I've slowly come to accept this by
> thinking about why I shouldn't be able to lift the top level
> definitions I want to, etc.

Do you have an example of a paradox that would come up?  I've been
trying to think of one, but my imagination's a bit weak.

Posted on the users mailing list.