This may be linked to bug 0004495 but I have not checked. In any case, this makes it really difficult to use syntax extensions in the toplevel (especially the ones that need some identifiers to be declared).