search

paulstansifer / unseemly

Macros have types!
http://unseemly.github.io/
MIT License
131 stars 5 forks source link

Fully-general syntax extension form #23

Closed paulstansifer closed 5 years ago

paulstansifer commented 5 years ago

For the sake of complete flexibility, we want a way to say "Apply this SynEnv-to-SynEnv function to the current language", not just an "Extend the grammar like this" form.

paulstansifer commented 5 years ago

I would up making extend_syntax fully general, and adding bnf[ ]bnf to handle the normal case.