My experience with check-syntax is that several conditions have to be met:

* The identifiers must have the correct source locations (actually, you can 
make arrows point to weird places by faking the source locations)
* The properties must be present high enough in the AST. For example, if you 
put a 'sub-range-binders property on the "name" in "(define name value)", it 
won't work, instead the property should be present on the "(define name value)" 
syntax object itself, not on one of its subparts
* The planets must align.

At a first glance, I think in your case the problem is with the second 
condition, so you should "lift" all those properties out onto the topmost 
syntax object (they probably can be present at a lower point, but why bother?).

There's a with-disappeared-uses + record-disappeared-uses utility [1], and I 
wrote my own with-sub-range-binders + record-sub-range-binders! [2]. I also 
threw in a with-arrows form which combine both with-xxx forms.

Unfortunately, there is nothing for disappeared-bindings (yet). You can 
copy-paste and adjust my sub-range-binders code [3] and adjust it (permission 
granted to use whatever licence your project uses).





You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
For more options, visit

Reply via email to