Lucas Myers comments

Results 14 comments of


                                            Lucas Myers

Inconsistent visibility of exported members of a macro-generated namespace

Interesting; this seems unfortunate. Unfortunate in that `create_ns` is written in an "obvious" way and does nothing to opt in to interaction with hygiene (e.g. `Syntax.make`), but it nonetheless has...

Inconsistent visibility of exported members of a macro-generated namespace

Is there something we could do that would make the definition-prefixing `export` "break" (i.e. not actually export the binding) in both cases, rather than working in one and failing in...

Inconsistent visibility of exported members of a macro-generated namespace

Rereading this, I think I'm convinced "that `export` is hygiene-bending, and so `export`-generating macros will inevitably have to take that into account". I'm good with closing this issue.

Lone `$()` is allowed in a `~group` syntax class, and seems to never match anything

These changes are sounding right to me.